From Z to BON/Eiffel

DOI 10.1109/ase.1998.732645 dblp

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.

BibTeX

@inproceedings{Paige-Ostroff:ASE98,
  author    = {Richard F. Paige and
               Jonathan S. Ostroff},
  title     = {From Z to {BON/Eiffel}},
  booktitle = {ASE},
  pages     = {209--212},
  publisher = {{IEEE} Computer Society},
  year      = {1998},
}

From Z to BON/Eiffel

Abstract

Related papers