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)
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 introduce and explore a new statechart (sc) abstraction method and define a simplified statechart (ssc) model. We study the basic building blocks (so the term 'DNA') of UML sc models. Within this formal approach, we untangle the object-oriented concepts characterizing the UML. We treat triggers, guards and effects as related to each other, but make no reference to any explicit value (type) in the computation. This abstract approach allows us to introduce mathematical manipulations of UML sc, in line with the theory of regular automata. Statechart DNA has been applied in defining complexity metrics for UML sc models, the automatic generation of model test cases and behavior manipulations in CASE tool environments.