Skip Navigation
York U: Redefine the PossibleHOME | Current Students | Faculty & Staff | Research | International
Search »FacultiesLibrariesCampus MapsYork U OrganizationDirectorySite Index
Future Students, Alumni & Visitors
1998 Technical Reports

From Z to BON/Eiffel

Richard F. Paige and Jonathan S. Ostroff

Technical Report CS-1998-05

York University

July 7, 1998

Abstract

It is shown how to make a transition from the formal specification notation Z [Spivey 1992] to the Business Object Notation (BON) so as to be able to relate the former notation with object-oriented specifications and implementations. The transition is applied in a case study that shows how to move from Z to BON, and finally through to executable Eiffel programs. The translation lays the groundwork for a semi-automated tool that spans the semantic gap from abstract Z specifications to concrete Eiffel implementations.

A short version of this paper appeared in Proc. Automated Software Engineering 1998, IEEE Press, 1998. It was presented at ASE'98 which took place in Honolulu, Hawaii, in October 1998.

Download paper in PDF format.



The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.