Title :
From Z to BON/Eiffel
Author :
Paige, Richard F. ; Ostroff, Jonathan S.
Author_Institution :
Dept. of Comput. Sci., York Univ., UK
Abstract :
The article shows how to make a transition from the Z formal notation to the Business Object Notation (BON). It is demonstrated that BON has the expressive power of Z, with the additional advantages of object-orientation and a supporting seamless development method. The transition is illustrated for some widely used Z constructs. The translation lays the groundwork for a semi-automated tool for extracting classes from Z specifications
Keywords :
formal specification; object-oriented methods; software tools; Business Object Notation; Eiffel; Z formal notation translation; Z specifications; class extraction; object-orientation; seamless development method; semi-automated tool; Bridges; Computer industry; Computer languages; Computer science; Formal specifications; Libraries; Set theory; Software tools;
Conference_Titel :
Automated Software Engineering, 1998. Proceedings. 13th IEEE International Conference on
Conference_Location :
Honolulu, HI
Print_ISBN :
0-8186-8750-9
DOI :
10.1109/ASE.1998.732645
