From Z to BON/Eiffel

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.

• Type: Conference
• Year: 1998
• Where: KBSE
• Authors: Richard F. Paige, Jonathan S. Ostroff
• Keywords: Business Object Notation, Formal Notation, KBSE 1998, Seamless Development Method, Software Engineering