Technical Report 2003-010

A Formal Semantics for UML Statecharts

Alexandre David, Johann Deneux, and Julien d'Orso

February 2003

The UML language is a large set of notations and rules to describe different aspects of a system. It provides a set of diagrams to view the system from different angles: use case diagrams, class diagrams, statecharts diagrams, and deployment diagrams are some of them. In this report we are interested in the statecharts diagrams that describe dynamic behaviours. We give a formal semantics for a large subset of these statecharts, in particular we focus on the action language semantics. Our subset and semantics are very close to the one supported by the tool Rhapsody.

Available as Postscript (828 kB) and compressed Postscript (279 kB)

Download BibTeX entry.