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, re- finement 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.
%0 Book Section
%1 stumptner_00_behavior
%A Stumptner, Markus
%A Schrefl, Michael
%D 2000
%J Conceptual Modeling �? ER 2000
%K refinement equivalence statecharts \_pdf inheritance uml 2000
%P 451--530
%R http://dx.doi.org/10.1007/3-540-45393-8\_38
%T Behavior Consistent Inheritance in UML
%U http://dx.doi.org/10.1007/3-540-45393-8\_38
%X 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, re- finement 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.
@incollection{stumptner_00_behavior,
abstract = {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, re- finement 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.},
added-at = {2009-03-10T04:33:18.000+0100},
author = {Stumptner, Markus and Schrefl, Michael},
biburl = {https://www.bibsonomy.org/bibtex/276a32710751b6f2303d1b1ac44dac7ef/leonardo},
citeulike-article-id = {2505451},
doi = {http://dx.doi.org/10.1007/3-540-45393-8\_38},
interhash = {338d027fe36321a2403733bcb59d4f60},
intrahash = {76a32710751b6f2303d1b1ac44dac7ef},
journal = {Conceptual Modeling \^{a}€�? ER 2000},
keywords = {refinement equivalence statecharts \_pdf inheritance uml 2000},
pages = {451--530},
posted-at = {2008-03-11 02:54:44},
priority = {4},
timestamp = {2009-03-10T04:33:18.000+0100},
title = {Behavior Consistent Inheritance in UML},
url = {http://dx.doi.org/10.1007/3-540-45393-8\_38},
year = 2000
}