Gerti Kappel, Michael Schrefl,
"Inheritance of Object Behavior - Consistent Extensions of Object Life Cycles"
, in J. Eder, L. A. Kalinichenko (eds.): Proceedings of the 2nd International East/West Database Workshop, Klagenfurt, Austria, 25.-28. September 1994, Serie Workshop Series in Computer Science, Springer Verlag Deutschland, Seite(n) 289-300, 9-1994, ISBN: 3-540-19946-2
Inheritance of Object Behavior - Consistent Extensions of Object Life Cycles
Sprache des Titels:
Proceedings of the 2nd International East/West Database Workshop, Klagenfurt, Austria, 25.-28. September 1994
Inheritance is one of the most prominent features of object-oriented design. Object types are organized in hierarchies in which subtypes inherit the structure as well as the behavior of supertypes. As inheritance of behavior is concerned, the discussion has mainly focused on inheritance of single activities in the past. Object behavior, however, is specified at two interrelated levels of detail: at the activity level and at the object type level. The latter is specified in terms of object life cycles that identify legal sequences of states and activities.
In this paper we treat inheritance of object life cycles in the realm of Behavior Diagrams, which are based on Petri nets. A behavior diagram of an object type models the possible life cycle of ist instances by states, activities, and arcs corresponding to places, transitions, and arcs of Petri nets. In an inheritance hierarchy, subtypes usually specialize supertypes in two ways: by extension and by refinement. For Behavior Diagrams, extension means adding activities, states, and arcs; and refinement means expanding activities and states in subnets. The main contribution of this paper is a set of sufficient and necessary conditions to check whether behavior diagram B' consistently extends another behavior diagram B.
Sprache der Kurzfassung:
Springer Verlag Deutschland
Workshop Series in Computer Science
Anzahl der Seiten:
Notiz zur Publikation:
If you are interested in th paper, you may receive a copy (PS or PDF) by sending an e-mail to our office (firstname.lastname@example.org). Please include the paper-no. (Kapp94a) and agree to use the paper for scientific purposes and private use only!