Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Object-Oriented Data Models


Citation: Georg Gottlob, Gerti Kappel, and Michael Schrefl, "Semantics of Object-Oriented Data Models -- The Evolving Algebra Approach", in Next Generation Information Technology (eds. J. W. Schimdt and A. A. Stogny), Springer LNCS 504, 1991, 144--160.
Summary: The authors propose the use of ASMs to specify the formal semantics of object-oriented data models, considering in particular the semantics of object creation, overriding and dynamic binding, and inheritance at the type level (type specialization) and instance level (object specialization).
Subjects: Databases
Download: PostScript, PDF, Compressed PostScript
Notes: