A compositional semantics for Statecharts
Jjm Jozef Hooman, S. Ramesh, de Wp Willem-Paul Roever, Jan Willem Klop, J.J.C. Meijer, Jan Rutten · TU/e Research Portal · 1989
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.