DocumentCode
2382972
Title
From Z to BON/Eiffel
Author
Paige, Richard F. ; Ostroff, Jonathan S.
Author_Institution
Dept. of Comput. Sci., York Univ., UK
fYear
1998
fDate
13-16 Oct 1998
Firstpage
209
Lastpage
212
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Automated Software Engineering, 1998. Proceedings. 13th IEEE International Conference on
Conference_Location
Honolulu, HI
Print_ISBN
0-8186-8750-9
Type
conf
DOI
10.1109/ASE.1998.732645
Filename
732645
Link To Document