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 条

[31] A PARTNER NOTIFICATION BUREAU IN ACTION: OUTCOMES FOR CENTRALISED MANAGEMENT OF POSITIVE GONORRHOEA AND CHLAMYDIA RESULTS FROM PRIMARY CARE BY A SEXUAL HEALTH SERVICE
Bell, Gill
SEXUALLY TRANSMITTED INFECTIONS, 2016, 92 : A14 - A15
[32] Formalizing Local Intersectoral Practices: A Case Study of an Initiative Targeting Language Development
Di Sante, Melissa
Bilodeau, Angele
Chabot, Catherine
Potvin, Louise
CANADIAN JOURNAL OF SPEECH-LANGUAGE PATHOLOGY AND AUDIOLOGY, 2023, 47 (02): : 95 - 108
[33] Art tourism: definitions, opportunities, and discussions based on a case study from Abu Dhabi
Valek, Natasa Slak
JOURNAL OF TOURISM AND CULTURAL CHANGE, 2022, 20 (1-2) : 100 - 114
[34] Comparison of metabolic syndrome prevalence using four definitions - a case study from Finland
Haverinen, E.
Paalanen, L.
Palmieri, L.
Padron-Monedero, A.
Noguer-Zambrano, I.
Suarez, R. Sarmiento
Tolonen, H.
EUROPEAN JOURNAL OF PUBLIC HEALTH, 2021, 31
[35] Metabolic syndrome in young children: definitions and results of the IDEFICS study
Ahrens, W.
Moreno, L. A.
Marild, S.
Molnar, D.
Siani, A.
De Henauw, S.
Boehmann, J.
Guenther, K.
Hadjigeorgiou, C.
Iacoviello, L.
Lissner, L.
Veidebaum, T.
Pohlabeln, H.
Pigeot, I.
INTERNATIONAL JOURNAL OF OBESITY, 2014, 38 : S4 - S14
[36] Metabolic syndrome in young children: definitions and results of the IDEFICS study
W Ahrens
L A Moreno
S Mårild
D Molnár
A Siani
S De Henauw
J Böhmann
K Günther
C Hadjigeorgiou
L Iacoviello
L Lissner
T Veidebaum
H Pohlabeln
I Pigeot
International Journal of Obesity, 2014, 38 : S4 - S14
[37] Demand, market structure and the formalizing of ministry of health fees: A Nicaraguan case study
Fiedler, JL
WORLD DEVELOPMENT, 1999, 27 (07) : 1173 - 1189
[38] Formalizing mathematics in higher-order logic: A case study in geometric modelling
Puitg, F
Dufourd, JF
THEORETICAL COMPUTER SCIENCE, 2000, 234 (1-2) : 1 - 57
[39] Statistical Estimation of the Reproductive Number From Case Notification Data
White, Laura F.
Moser, Carlee B.
Thompson, Robin N.
Pagano, Marcello
AMERICAN JOURNAL OF EPIDEMIOLOGY, 2021, 190 (04) : 611 - 620
[40] Outcomes and Experiences of Men and Women with Partner Notification for HIV Testing in Tanzania: Results from a Mixed Method Study
Plotkin, Marya
Kahabuka, Catherine
Christensen, Alice
Ochola, Denice
Betron, Myra
Njozi, Mustafa
Maokola, Werner
Kisendy, Renatus
Mlanga, Erick
Curran, Kelly
Drake, Mary
Kessy, Eusebi
Wong, Vincent
AIDS AND BEHAVIOR, 2018, 22 (01) : 102 - 116

← 1 2 3 4 5 →