Title :
A pragmatic, rigorous integration of structural and behavioral modeling notations
Author :
Berry, Daniel M. ; Weber, Matthias
Author_Institution :
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.
Keywords :
diagrams; formal specification; object-oriented methods; specification languages; Z language; behavioral modeling notations; design notations; mathematical specification language; object modeling notations; object-oriented method; statecharts; structural modeling notations; Automata; Control system synthesis; Data structures; Formal specifications; Humans; Industrial control; Machine vision; Power system modeling; Safety; Unified modeling language;
Conference_Titel :
Formal Engineering Methods., 1997. Proceedings., First IEEE International Conference on
Conference_Location :
Hiroshima, Japan
Print_ISBN :
0-8186-8002-4
DOI :
10.1109/ICFEM.1997.630396
