From Z to BON/Eiffel

Richard F. Paige, Jonathan S. Ostroff

Research output: Contribution to conferencePaperpeer-review


It is shown how to make a transition from the Z formal
notation [3] to the Business Object Notation (BON) [4]. 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.
Original languageUndefined/Unknown
Publication statusPublished - 1998

Cite this