Michael Schrefl, Markus Stumptner,
"Behavior Consistent Inheritance in UML"
, in Alberto H. F. Laender et al.: Proceedings of the 19th International Conference on Conceptual Modeling (ER 2000), October 9-12, 2000, Salt Lake City, Utah, U.S.A., Serie Lecture Notes in Computer Science (LNCS), Vol. 1920, Springer Verlag, Deutschland, Seite(n) 527-542, 10-2000, ISBN: 3-540-41072-4
Original Titel:
Behavior Consistent Inheritance in UML
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the 19th International Conference on Conceptual Modeling (ER 2000), October 9-12, 2000, Salt Lake City, Utah, U.S.A.
Original Kurzfassung:
Object-oriented design methods express the behavior an object exhibits over time, i.e., the object life cycle, by notations based on Petri nets or state charts. The paper considers the specialization of life cycles via inheritance relationships as a combination of extension and refinement, viewed in the context of UML state machines. Extension corresponds to the addition of states and actions, refinement refers to the decomposition of states into substates. We use the notions of observation consistency and invocation consistency to compare the behavior of object life cycles and present a set of rules to check for behavior consistency of UML state machines, based on a one-to-one mapping of a meaningful subset of state machines to Object/Behavior Diagrams.
Sprache der Kurzfassung:
Englisch
Veröffentlicher:
Springer Verlag
Verlagsanschrift:
Deutschland
Serie:
Lecture Notes in Computer Science (LNCS)
Volume:
1920
Seitenreferenz:
527-542
Erscheinungsmonat:
10
Erscheinungsjahr:
2000
ISBN:
3-540-41072-4
Anzahl der Seiten:
16
Notiz zur Publikation:
If you are interested in the paper, you may receive a copy (PDF) by sending an e-mail to our office (dke.win@jku.at). Please include the paper-no. (Schr00c) and agree to use the paper for scientific purposes and private use only!
Forschungs-