Conference
From Z to BON/Eiffel
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.
Authors
Paige RF; Ostroff JS
Pagination
pp. 209-212
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Publication Date
January 1, 1998
DOI
10.1109/ase.1998.732645
Name of conference
Proceedings 13th IEEE International Conference on Automated Software Engineering (Cat. No.98EX239)