Technical Report

An Extended Version of Mini-Statecharts.

Author(s): Peter Scholz
Year: 1996
Number: TUM-I9628
Editor:
CR Classification:
CR General Terms:
Keywords: Statecharts, Hierarchical Automata, Parallel Automata, Specification of Reactive Systems, Perfect Synchrony, Signal Feedback
Abstract: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 \cite{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.

Available as compressed Postscript

BibTeX-Entry:

@techreport{ TUM-I9628, author = {Peter Scholz}, title = {An Extended Version of Mini-Statecharts.}, number = {TUM-I9628}, institution = {Technische Univerit\"at M\"unchen}, year = {1996}, url = {http://www4.informatik.tu-muenchen.de/reports/TUM-I9628.html}, abstract = {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 \cite{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. }, CRClassification = {}, CRGenTerms = {} }