@TechReport{	  it:2003-010,
  author	= {Alexandre David and Johann Deneux and Julien d'Orso},
  title		= {A Formal Semantics for {UML} Statecharts},
  institution	= {Department of Information Technology, Uppsala University},
  department	= {Division of Computer Systems},
  year		= {2003},
  number	= {2003-010},
  month		= feb,
  abstract	= {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.}
}