The Community for Technology Leaders
Formal Engineering Methods, International Conference on (1998)
Brisbane, Australia
Dec. 9, 1998 to Dec. 11, 1998
ISBN: 0-8186-9198-0
pp: 180
Detlef Kreuz , Technical University of Hamburg-Harburg
ABSTRACT
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interface definition language (IDL) and informal prose. This may lead to ambiguous descriptions.This paper proposes an abstract specification of components using the formal specification language Object-Z. The usage of Object-Z enables system designers and programmers to create, understand and maintain specifications of complex interfaces and their interaction. In connection with tool support, the proposed method is integrated into design methods for practical purposes. It give practitioners a better understanding of the design process and fosters the usefulness of formal methods.
INDEX TERMS
CITATION

D. Kreuz, "Formal Specification of CORBA Services using Object-Z," Formal Engineering Methods, International Conference on(ICFEM), Brisbane, Australia, 1998, pp. 180.
doi:10.1109/ICFEM.1998.730582
96 ms
(Ver 3.3 (11022016))