News

Habilitation of Assist.-Prof. Mag. Dr. Christoph Georg Schütz


IT-Project Data Souvereignty in winter termin 2021/22


Business Intelligence: Washing Gold in Times of Information Overload


See all news.


Campusplan

campusplan_image

You can find us here.




Behavior Consistent Extension of Object Life Cycles

Authors: M. Schrefl, M. Stumptner
Paper: Schr95a (1995)
Citation: Michael P. Papazoglou (Ed.): Object-Oriented and Entity-Relationship Modeling, Proceedings of the 14th International Conference (OOER '95), Gold Coast, Australia, December 1995, Springer Verlag, Lecture Notes in Computer Science, LNCS Vol. 1021, pp. 133-145, ISBN 3-540-60672-6, 1995.
Resources: Copy  (In order to obtain the copy please send an email with subject  Schr95a  to dke.win@jku.at)
BibTeX


Abstract:

Various notions of conformance between operations of a subtype and operations of a supertype have been proposed (e.g., contravariance and covariance). Similarly, different notions of "consistent extension" of object life cycles can be defined to meet various objectives.

This paper treats inheritance of object life cycles in the real of behavior diagrams that identify legal sequences of states and activities (operations). It presents necessary and sufficient rules for checking three different kinds of conformance (observation consistency, weak invocation consistency, and strong invocation consistency) between a behavior diagram of a subtype and that of its supertype.