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
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.
formal specification; structural modeling notations; behavioral modeling notations; mathematical specification language; Z language; object modeling notations; object-oriented method; statecharts; design notations

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.
88 ms
(Ver 3.3 (11022016))