ConStaBL -- A Fresh Look at Software Engineering with State Machines

Karthika Venkatesan, Sujit Kumar Chakrabarti

Statechart is a visual modelling language for systems. In this paper, we extend our earlier work on modular statecharts with local variables and present an updated operational sema…