Michael Schrefl, Markus Stumptner,
"Behavior Consistent Refinement of Object Life Cycles"
, in D. W. Embley, R. C. Goldstein: Proceedings of the 16th International Conference on Conceptual Modeling (ER '97), Los Angeles, Calif., USA, November 1997, Serie Lecture Notes in Computer Science (LNCS), Vol. 1331, Springer Verlag Deutschland, Seite(n) 155-168, 11-1997, ISBN: 3-540-63699-4
Original Titel:
Behavior Consistent Refinement of Object Life Cycles
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the 16th International Conference on Conceptual Modeling (ER '97), Los Angeles, Calif., USA, November 1997
Original Kurzfassung:
This paper examines the inheritance of object life cycles that are specified by behavior diagrams. A behavior
diagram of an object type models possible life cycles of its instances by states, activities and arcs
corresponding to places, transitions and arcs of Petri Nets. In an inheritance hierarchy, subtypes specialize
the life cycle of supertypes by extension (adding states and activities) and refinement (decomposing states
and activites into substates and subactivities). The main contribution of this paper are necessary and
sufficient rules for checking behavior consistency between a behavior diagram of a type and a refined
subtype, as well as for the combination of extension and refinement.
Sprache der Kurzfassung:
Englisch
Veröffentlicher:
Springer Verlag Deutschland
Serie:
Lecture Notes in Computer Science (LNCS)
Volume:
1331
Seitenreferenz:
155-168
Erscheinungsmonat:
11
Erscheinungsjahr:
1997
ISBN:
3-540-63699-4
Anzahl der Seiten:
14
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 (dke.win@jku.at). Please include the paper-no. (Schr97a) and agree to use the paper for scientific purposes and private use only!
Forschungs-