A UML statecharts semantics with message-passing
Jan Jürjens · 2002
We give a formal semantics for one of the main UML diagram types for dynamical system behavior: statechart diagrams. This is the first semantics which explicitly models message-passing between different diagrams. It therefore lays a first foundation for executable UML modeling, allowing whole systems of UML specifications (rather than single diagrams) to be simulated.