The Community for Technology Leaders
Formal Engineering Methods, International Conference on (1997)
Hiroshima, JAPAN
Nov. 12, 1997 to Nov. 14, 1997
ISBN: 0-8186-8002-4
pp: 38
D.M. Berry , GMD-First, Berlin, Germany
M. Weber , GMD-First, Berlin, Germany
ABSTRACT
This paper describes a pragmatic, rigorous integration of the mathematical specification language Z with well-known object modeling notations and an object-oriented variant of statecharts. The goal is to preserve the abstraction and flexibility of widely-used design notations while being able to embed the precision and rigor of mathematical specification at selected places. The integration between the notations is based on a mapping between entities of the three models.
INDEX TERMS
formal specification; structural modeling notations; behavioral modeling notations; mathematical specification language; Z language; object modeling notations; object-oriented method; statecharts; design notations
CITATION

M. Weber and D. Berry, "A pragmatic, rigorous integration of structural and behavioral modeling notations," Formal Engineering Methods, International Conference on(ICFEM), Hiroshima, JAPAN, 1997, pp. 38.
doi:10.1109/ICFEM.1997.630396
93 ms
(Ver 3.3 (11022016))