Formalizing GDMO Action and Notification Definitions --- Results from a Case Study
A. Franzke
University of Koblenz-Landau
Institute for Software Technology
Koblenz
Germany
Email: franzke_AT_informatik.uni-koblenz.de
B. Frohnhoff
Deutsche Telekom AG
Research Department
Platforms for Value-Added Services, Network and
Service Management
Darmstadt
Germany
Abstract
One of the main problems in GDMO is the lack of adequate description
means
to define the behaviour 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.
Keywords: GDMO; behavior definition; action semantics; notification semantics; Z, ZEST, SDL'92
JNSM: Vol. 6, No. 3, 1998
Formalizing GDMO Action and Notification Definitions --- Results from a Case Study [Vol. 6, No. 3, 1998]
NOTE: only abstract of paper available on-line
Back to JNSM main page