State Machine Semantics

Presentation by: Jaroslav Gergic

Abstract

Follow up to the UML 2.0 State Machines presentation. More information on different semantics applicable to the UML State Machines. The topic of this presentation are "Harel Statecharts" in general, i.e., various applicable semantics both within and outside the realm of the UML domain: STATEMATE, RHAPSODY, UML 2.0 (1.5) and W3C SCXML (State Chart XML). Discussion on applicability of a particular semantics for different purposes and environments.