The STATEMATE Semantics of Statecharts David Harel and Amnon Naamad 1996. Jolan Farkas Overview Introduction Basic concepts of semantics Hierarchy of states Orthogonality…