Test and Verification

Lecture 2

Subject

Modelling:
Hierarchical State Machines
David Harel's original StateChart
Hierarchical visualSTATE models 

Modelling and Simulation in visualSTATE

Material

[SALLT+]

David Harel: Statecharts: A Visual Formalism for Complex Systems, Science of Computer Programming 8 (1987).

.
David Harel: On Visual Formalisms. ACM 1988. 

For the specially interested:
Andrezej Wasowski, Peter Sestoft: On the Formal Semantics of VisualSTATE StateChart. 2002.

Stuart Anderson, John Power, Konstantinos Tourlas: Reasoning in Higraphs with Loose Edges, 2001

David Harel, Evan Gery: Executive Object Modeling with Statecharts, July 1997

Exercises

To be found here.