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: 122
Gordon Rose , University of Queensland
ABSTRACT
Formal specification using mathematical text provides a sound basis for developing complex systems, especially safety-critical systems. The paper discusses three formal specification styles for state-based systems from monolithic, through Z, to modular, each illustrated by the same simple example. In each case, formal text which is left implicit in practice is identified and discussed.The paper includes a denotational semantics for operations within a modular system, including their conjunctive, parallel, choice and sequential composition. The importance of extending the semantics to unwritten formal text implicit in Z and modular style specifications is emphasised because misinterpretation of the implicit can have serious consequences.
INDEX TERMS
CITATION

G. Rose, "From Monolithic to Modular Formal Specification," Formal Engineering Methods, International Conference on(ICFEM), Brisbane, Australia, 1998, pp. 122.
doi:10.1109/ICFEM.1998.730576
90 ms
(Ver 3.3 (11022016))