Abstract State Machines


Subjects

Methodology

Applications

ASM Studies

Cooperation Contracts


Citation: Michael Schrefl and Gerti Kappel, "Cooperation Contracts", Proceedings of the 10th International Conference on the Entity-Relationship Approach, ed. T. J. Teorey, San Mateo, California, ER Institute, 1991, pp. 285-307.
Summary: The concept of cooperative messaging handling in the context of object-oriented database design is presented. The semantics of cooperative message handling is defined using ASMs.
Subjects: Databases
Download: PostScript, PDF, Compressed PostScript.
Notes: