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 条
  • [41] Outcomes and Experiences of Men and Women with Partner Notification for HIV Testing in Tanzania: Results from a Mixed Method Study
    Marya Plotkin
    Catherine Kahabuka
    Alice Christensen
    Denice Ochola
    Myra Betron
    Mustafa Njozi
    Werner Maokola
    Renatus Kisendy
    Erick Mlanga
    Kelly Curran
    Mary Drake
    Eusebi Kessy
    Vincent Wong
    AIDS and Behavior, 2018, 22 : 102 - 116
  • [42] Creation of Definitions for Ontologies: A Case Study in the Leukemia Domain
    de Souza, Amanda Damasceno
    Almeida, Maurcio Barcellos
    de Aguirre Neto, Joaquim Caetano
    DATA INTEGRATION IN THE LIFE SCIENCES, DILS 2015, 2015, 9162 : 133 - 136
  • [43] Producing frame-based definitions A case study
    Duran-Munoz, Isabel
    TERMINOLOGY, 2016, 22 (02): : 223 - 249
  • [44] Indeterminacy and spatiotemporal data: Basic definitions and case study
    Pfoser, D
    Tryfona, N
    Jensen, C
    GEOINFORMATICA, 2005, 9 (03) : 211 - 236
  • [45] Indeterminacy and Spatiotemporal Data: Basic Definitions and Case Study
    Dieter Pfoser
    Nectaria Tryfona
    Christian S. Jensen
    GeoInformatica, 2005, 9 : 211 - 236
  • [46] FROM A NONCOMPUTABILITY RESULT TO NEW INTERESTING DEFINITIONS AND COMPUTABILITY RESULTS
    SERGERAERT, F
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 358 : 26 - 32
  • [47] Validation of case definitions of depression derived from administrative data against the CIDI-SF as reference standard: results from the PROspective Québec (PROQ) study
    Ana Paula Bruno Pena-Gralle
    Denis Talbot
    Xavier Trudel
    Karine Aubé
    Alain Lesage
    Sophie Lauzier
    Alain Milot
    Chantal Brisson
    BMC Psychiatry, 21
  • [48] PARTNER NOTIFICATION FOR SYPHILIS IN CHILE: REALITIES FROM TWO REGIONAL HEALTH SERVICES - A QUALITATIVE CASE STUDY
    Iturrieta-Guaita, Nicole
    Temple-Smith, Meredith
    Tomnay, Jane
    SEXUALLY TRANSMITTED INFECTIONS, 2019, 95 : A150 - A150
  • [49] The profile of neuropsychiatric syndromes in SLE patients according to the new American College of Rheumatology nomenclature and case definitions: Results from a Finnish population based study
    Hietaharju, AJ
    Ainiala, H
    Loukkola, J
    Peltola, J
    Korpela, MM
    NEUROLOGY, 2000, 54 (07) : A92 - A93
  • [50] Clinical remission by legacy vs. FDA definitions: definition justification and results from UNIFI Study
    Sandborn, W. J.
    Strauss, R.
    Zhang, H.
    Johanns, J.
    Szapary, P.
    Marano, C.
    Danese, S.
    JOURNAL OF CROHNS & COLITIS, 2019, 13 : S350 - S351
12345