Object lifecycles: modeling the world in states
Object lifecycles: modeling the world in states
A UML statecharts semantics with message-passing
Proceedings of the 2002 ACM symposium on Applied computing
A comparison of Statecharts step semantics
Theoretical Computer Science
What is in a Step: On the Semantics of Statecharts
TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Describing the Syntax and Semantics of UML Statecharts in a Heterogeneous Modelling Environment
DIAGRAMS '02 Proceedings of the Second International Conference on Diagrammatic Representation and Inference
A Comparison of Statecharts Variants
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Understanding and Comparing Model-Based Specification Notations
RE '03 Proceedings of the 11th IEEE International Conference on Requirements Engineering
Reasoning about real-time statecharts in the presence of semantic variations
Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering
Explicit modeling of semantics associated with composite states in UML statecharts
Automated Software Engineering
Template Semantics for Model-Based Notations
IEEE Transactions on Software Engineering
29 new unclarities in the semantics of UML 2.0 state machines
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
UML vs. classical vs. rhapsody statecharts: not all models are created equal
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
On formal semantics of statecharts as supported by STATEMATE
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
On the compositional properties of UML statechart diagrams
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
Semantically Configurable Code Generation
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Variability within Modeling Language Definitions
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Interpretation of history pseudostates in orthogonal states of UML state machines
NGITS'09 Proceedings of the 7th international conference on Next generation information technologies and systems
What is in a step: new perspectives on a classical question
Time for verification
FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems
Semantically configurable consistency analysis for class and object diagrams
Proceedings of the 14th international conference on Model driven engineering languages and systems
Code generation for a family of executable modelling notations
Software and Systems Modeling (SoSyM)
| Hi-index | 0.00 |
In this paper, we use template-semantics to express the execution semantics of UML 2.0 StateMachines, resulting in a precise description that not only highlights the semantics decisions that have been documented but also explicates the semantics choices that have been left unspecified. We provide also the template semantics for StateMachines as implemented in three UML CASE tools: Rational Rose RT, Rhapsody, and Bridgepoint. The result succinctly explicates (1) how each of the tools refines the standard's semantics and (2) which tools' semantics deviate from the standard.