The Statemate Semantics of Statecharts

A behaviorally expressive set of diagrammatic languages for modeling object-oriented systems is presented. It constitutes the constructive subset of UML, and is supported by Rhapsody, a tool that enables model execution and full code synthesis.

View Entire Paper | Previous Page | White Papers Search

If you found this page useful, bookmark and share it on: