Formalizing GDMO Action and Notification Definitions - Results from a Case Study

被引：1
|
作者：
Franzke A. [1 ,3 ,7 ]
Frohnhoff B. [2 ,4 ,5 ,6 ]
机构：
[1] Universität Koblenz-Landau, Institute for Software Technology, Koblenz
[2] Deutsche Telekom AG, Research Department, Platforms for Value-Added Services, Darmstadt
[3] Universität Koblenz-Landau, D-56075 Koblenz
来源：
Journal of Network and Systems Management | 1998年 / 6卷 / 3期
关键词：
Action semantics; Behavior definition; GDMO; Notification semantics; Z; ZEST; SDL'92;
D O I：
10.1023/A:1018783430858
中图分类号：
学科分类号：
摘要：
One of the main problems in GDMO is the lack of adequate means to define the behavior of managed objects. This paper reports the experiences that have been gained in the GDMO project, a joint project of Deutsche Telekom AG and the Institute for Software Technology, with formalizing actions and notifications of a sample GDMO specification. It has been investigated how different formal description techniques (FDTs), namely an object-oriented Z dialect and SDL, may be used to describe the semantics of actions and notifications. However, the case study showed that an integration of FDTs into GDMO is technically difficult and not very likely to improve the overall quality of GDMO specifications.
引用
收藏
页码：267 / 282
页数：15
相关论文
共 50 条
  • [21] Opportunities for Improving Partner Notification for HIV: Results from a Community-Based Participatory Research Study
    E. Jennifer Edelman
    Christopher A. Cole
    Wanda Richardson
    Nicholas Boshnack
    Heidi Jenkins
    Marjorie S. Rosenthal
    AIDS and Behavior, 2014, 18 : 1888 - 1897
  • [22] Opportunities for Improving Partner Notification for HIV: Results from a Community-Based Participatory Research Study
    Edelman, E. Jennifer
    Cole, Christopher A.
    Richardson, Wanda
    Boshnack, Nicholas
    Jenkins, Heidi
    Rosenthal, Marjorie S.
    AIDS AND BEHAVIOR, 2014, 18 (10) : 1888 - 1897
  • [23] EXTRACTION OF STRONG TYPING LAWS FROM ACTION SEMANTICS DEFINITIONS
    DOH, KG
    SCHMIDT, DA
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 582 : 151 - 166
  • [24] Presentation Adaptation: Results from a Case Study
    Pedrero, A.
    Alonso, V.
    Villarroel, M. A.
    de la Fuente, P.
    Cabaco, A. S.
    ENGINEERING THE USER INTERFACE: FROM RESEARCH TO PRACTICE, 2009, : 211 - +
  • [25] Pornographic Art-A Case from Definitions
    Fokt, Simon
    BRITISH JOURNAL OF AESTHETICS, 2012, 52 (03): : 287 - 300
  • [26] Action and reaction - case study from a business simulation
    Ciucan-Rusu, Liviu
    INTERNATIONAL CONFERENCE EMERGING MARKETS QUERIES IN FINANCE AND BUSINESS, 2012, 3 : 1243 - 1249
  • [27] Knowledge Management in Action: A Case Study From Norway
    Haave, Hanne
    Vold, Tone
    PROCEEDINGS OF THE 19TH EUROPEAN CONFERENCE ON KNOWLEDGE MANAGEMENT (ECKM 2018), VOLS 1 AND 2, 2018, : 294 - 299
  • [28] CLINICAL REMISSION BY LEGACY VERSUS FDA DEFINITIONS: DEFINITION JUSTIFICATION AND RESULTS FROM UNIFI STUDY
    Sandborn, William J.
    Strauss, Richard
    Zhang, Hongyan
    Johanns, Jewel
    Szapary, Philippe
    Marano, Colleen W.
    Danese, Silvio
    GASTROENTEROLOGY, 2019, 156 (06) : S1097 - S1097
  • [29] Validation of case definitions of depression derived from administrative data against the CIDI-SF as reference standard: results from the PROspective Quebec (PROQ) study
    Pena-Gralle, Ana Paula Bruno
    Talbot, Denis
    Trudel, Xavier
    Aube, Karine
    Lesage, Alain
    Lauzier, Sophie
    Milot, Alain
    Brisson, Chantal
    BMC PSYCHIATRY, 2021, 21 (01)
  • [30] The added value of claims for cancer surveillance - Results of varying case definitions
    Penberthy, L
    McClish, D
    Manning, C
    Retchin, S
    Smith, T
    MEDICAL CARE, 2005, 43 (07) : 705 - 712
12345