A UML statecharts semantics with message-passing


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… (More)
DOI: 10.1145/508791.508987



Citations per Year

76 Citations

Semantic Scholar estimates that this publication has 76 citations based on the available data.

See our FAQ for additional information.

  • Presentations referencing similar topics