Formal Engineering Methods, International Conference on (1997)
Nov. 12, 1997 to Nov. 14, 1997
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.