Resources and References

• OMG: Unified Modeling Language: Superstructure, version 2.0 formal/05-07-04, August 2005 [download]
• D. Harel and E. Gery, Executable Object Modeling with Statecharts, Computer 30:7 (July 1997), IEEE Press, 31-42 (cover feature) [download]
• D. Harel and H. Kugler, The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML), Integration of Software Specification Techniques for Applications in Engineering, (H. Ehrig et al., eds.), Lecture Notes in Computer Science, Vol. 3147, Springer-Verlag, 2004, pp. 325-354. [download]
• D. Harel and M. Politi, Modeling Reactive Systems with Statecharts: The STATEMATE Approach, McGraw-Hill (258 pp.), 1998 [download]
• W3C: State Chart XML (SCXML): State Machine Notation for Control Abstraction 1.0, W3C Working Draft 5 July 2005 [download]
• OMG: OMG Unified Modeling Language Specification, Version 1.5 formal/03-03-01, March 20003 [download]
• SCXML Interpreter, Apache Jakarta Commons Sandbox, [link]