Statecharts are a visual specification mechanism for specifying reactive, embedded systems. They are implemented in commercial tools like Statemate. However, some syntactic constructs impede the modular system specification and have a confusing semantics. In NRS96 we presented Mini-Statecharts, a lean version of Statecharts. Mini-Statecharts are restricted to the most important syntactic elements of Statecharts but are nevertheless powerful enough to specify complex systems. In this contribution, we extend the core language with local variables and integer-valued signals to avoid state explosion. We show that the formal semantics, presented in [TUM-I9626], smoothly carries over to the semantics of the extended language.     «

Statecharts are a visual specification mechanism for specifying reactive, embedded systems. They are implemented in commercial tools like Statemate. However, some syntactic constructs impede the modular system specification and have a confusing semantics. In NRS96 we presented Mini-Statecharts, a lean version of Statecharts. Mini-Statecharts are restricted to the most important syntactic elements of Statecharts but are nevertheless powerful enough to specify complex systems. In this contribution...     »