Statecharts: A visual formalism for complex systems
Science of Computer Programming
Object-oriented systems analysis: a model-driven approach
Object-oriented systems analysis: a model-driven approach
Object-oriented modeling and design
Object-oriented modeling and design
A note on inheritance and state machines
ACM SIGSOFT Software Engineering Notes
Regular types for active objects
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Advances in Object-Oriented Data Modeling
Advances in Object-Oriented Data Modeling
Proceedings of the Seventh International Conference on Data Engineering
Behavior Consistent Extension of Object Life Cycles
OOER '95 Proceedings of the 14th International Conference on Object-Oriented and Entity-Relationship Modelling
Behavior Consistent Refinement of Object Life Cycles
ER '97 Proceedings of the 16th International Conference on Conceptual Modeling
A new Concept of Refinement used for Behaviour Modelling with Automata
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
Life-Cycle Inheritance: A Petri-Net-Based Approach
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
A survey of equivalence notions for net based systems
Advances in Petri Nets 1992, The DEMON Project
Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
EDO '00 Revised Papers from the Second International Workshop on Engineering Distributed Objects
Towards the completion of the formal semantics of OCL 2.0
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
Requester-centered composition of business processes from internal and external services
Data & Knowledge Engineering - Special issue: Collaborative business process technologies
Mining taxonomies of process models
Data & Knowledge Engineering
Consistency of business process models and object life cycles
MoDELS'06 Proceedings of the 2006 international conference on Models in software engineering
Generation of business process models for object life cycle compliance
BPM'07 Proceedings of the 5th international conference on Business process management
Specialization and validation of statecharts in OWL
EKAW'10 Proceedings of the 17th international conference on Knowledge engineering and management by the masses
Mining hierarchies of models: from abstract views to concrete specifications
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Consistency checking of statechart diagrams of a class hierarchy
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
Multilevel business process modeling: motivation, approach, design issues, and applications
Proceedings of the 5th Ph.D. workshop on Information and knowledge
Behavioral refinement of non-deterministic state transition diagrams based on behavior elimination
Proceedings of the 17th International Software Product Line Conference co-located workshops
| Hi-index | 0.00 |
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.