Abstract
Statecharts is a behavioral specification language proposed for specifying large realtime, event driven, reactive systems. It is a graphical language based on finite state machines extended with many features like hierarchy, concurrency and broadcast communication. We give a compositional syntax and a denotational semantics for Statecharts.
| Original language | English |
|---|---|
| Title of host publication | Liber Amicorum: J.W. de Bakker, 25 jaar semantiek |
| Editors | J.W. Klop, J.-J.Ch. Meyer, J.J.M.M. Rutten |
| Place of Publication | Amsterdam |
| Publisher | Centrum voor Wiskunde en Informatica |
| Pages | 275-287 |
| Publication status | Published - 1989 |