Statecharts: A visual formalism for complex systems
Science of Computer Programming
Scenario-based design: envisioning work and technology in system development
Scenario-based design: envisioning work and technology in system development
Generating statechart designs from scenarios
Proceedings of the 22nd international conference on Software engineering
Location Consistency-A New Memory Model and Cache Consistency Protocol
IEEE Transactions on Computers
An Introduction to Formal Languages and Automata
An Introduction to Formal Languages and Automata
The Object Constraint Language: Getting Your Models Ready for MDA
The Object Constraint Language: Getting Your Models Ready for MDA
Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)
Unified Modeling Language User Guide, The (2nd Edition) (Addison-Wesley Object Technology Series)
UML data models from an ORM (object-role modeling) perspective: data modeling at conceptual level
WSEAS Transactions on Information Science and Applications
Formal development of a washing machine controller model based on formal design patterns
WSEAS TRANSACTIONS on SYSTEMS
SVtL: system verification through logic tool support for verifying sliced hierarchical statecharts
WADT'06 Proceedings of the 18th international conference on Recent trends in algebraic development techniques
ECC'10 Proceedings of the 4th conference on European computing conference
WSEAS Transactions on Information Science and Applications
| Hi-index | 0.00 |
We propose composed strings called "statechart DNA" as essential building blocks for a new statechart (sc) abstraction method. We define the simplified statechart (ssc) and show that our definition covers the UML 2.0 sc model, by matching it to all model elements of the StateMachine package of the UML 2.0 metamodel and to the OCL constraints on these model elements. A Model Driven Architecture (MDA) is defined, inspired by a PIM-to-PIM model transformation procedure between UML sc models and ssc models. We discuss the rationale behind action abstraction in ssc models. This framework is used to isolate sc DNA, first in ssc models, then in UML sc models. We show how sc DNA, a compaction of sc construction primitives, can be used to define behavior model metrics and more generally, to manage and maintain evolving object behavior. State machine versioning is an important application of statechart DNA to manage industrial model repositories.