Statecharts: A visual formalism for complex systems
Science of Computer Programming
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Proceedings of the 3rd ACM international workshop on Data warehousing and OLAP
Ninth International Conference on Information and Knowledge Management
Modeling Reactive Systems with Statecharts: The Statemate Approach
Modeling Reactive Systems with Statecharts: The Statemate Approach
What is in a Step: On the Semantics of Statecharts
TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
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
Some Thoughts on Statecharts, 13 Years Later
CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
The Pragmatics of Model-Driven Development
IEEE Software
Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Reconciling statechart semantics
Science of Computer Programming
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
Semantic variations among UML statemachines
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
A visualization framework for the modeling and formal analysis of high assurance systems
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
| Hi-index | 0.00 |
State machines, represented by statecharts or statechart diagrams, are an important formalism for behavioural modelling. According to the research literature, the most popular statechart formalisms appear to be Classical, UML, and that implemented by Rhapsody. These three formalisms seem to be very similar; however, there are several key syntactic and semantic differences. These differences are enough that a model written in one formalism could be ill-formed in another formalism. Worse, a model from one formalism might actually be well-formed in another, but be interpreted differently due to the semantic differences. This paper summarizes the results of a comparative study of these three formalisms with the help of several illustrative examples. Then, we present a classification of the differences together with a comprehensive overview.