From Z to BON/Eiffel

Richard F. Paige; Jonathan S. Ostroff

From Z to BON/Eiffel

Computer Science

Research output: Contribution to conference › Paper › peer-review

Abstract

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 language	Undefined/Unknown
Pages	209-212
Publication status	Published - 1998

Access to Document

Cite this

@conference{d3a319c1639a4fd1b7846026ef4d6588,

title = "From Z to BON/Eiffel",

abstract = "It is shown how to make a transition from the Z formalnotation [3] to the Business Object Notation (BON) [4]. Itis demonstrated that BON has the expressive power of Z,with the additional advantages of object-orientation and asupporting seamless development method. The transition isillustrated for some widely used Z constructs. The translationlays the groundwork for a semi-automated tool forextracting classes from Z specifications.",

author = "Paige, {Richard F.} and Ostroff, {Jonathan S.}",

year = "1998",

language = "Undefined/Unknown",

pages = "209--212",

}

TY - CONF

T1 - From Z to BON/Eiffel

AU - Paige, Richard F.

AU - Ostroff, Jonathan S.

PY - 1998

Y1 - 1998

N2 - It is shown how to make a transition from the Z formalnotation [3] to the Business Object Notation (BON) [4]. Itis demonstrated that BON has the expressive power of Z,with the additional advantages of object-orientation and asupporting seamless development method. The transition isillustrated for some widely used Z constructs. The translationlays the groundwork for a semi-automated tool forextracting classes from Z specifications.

AB - It is shown how to make a transition from the Z formalnotation [3] to the Business Object Notation (BON) [4]. Itis demonstrated that BON has the expressive power of Z,with the additional advantages of object-orientation and asupporting seamless development method. The transition isillustrated for some widely used Z constructs. The translationlays the groundwork for a semi-automated tool forextracting classes from Z specifications.

M3 - Paper

SP - 209

EP - 212

ER -