Integration of Z-based Semantics of OO-Notations

Authors:
Jürgen Ebert;Roger Süttenbach
Affiliations:
-;-
Venue:
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Year:
1997

Citing 1
Cited 1

Graph Based Modeling and Implementation with EER / GRAL

ER '96 Proceedings of the 15th International Conference on Conceptual Modeling

Expressing UML Class Diagrams Properties with OCL

Object Modeling with the OCL, The Rationale behind the Object Constraint Language

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper shows how an integrated and formalized description of the abstract syntax and the semantics of the notations of object-oriented methods can be produced by extending EER/GRAL descriptions of the syntax by an operational semantics notated in Z.