Technical Report


Mini-Statecharts\: A Lean Version of Statecharts


Author(s): Dieter Nazareth, Franz Regensburger, Peter Scholz
Year: 1996
Number: TUM-I9610
Editor:
CR Classification:
CR General Terms:
Keywords: Statecharts, Hierarchical Automata, Parallel Automata, Specification of Reactive Systems, Perfect Synchrony, Signal Feedback
Abstract:Statecharts are well accepted in industrial applications for specifying reactive, embedded systems. Unfortunately, a reference semantics has not been developed until now. Therefore, the semantics of Statecharts is still of interest in the science community. This paper presents a compositional, denotational semantics for a special subclass of Statecharts based on stream processing functions. The basic component of Mini-Statecharts is a deterministic, reactive, signal-triggered sequential automaton which can be composed in multiple ways. The composition operators are\: parallel composition, local signal-scoping, semantic feedback of signals, and decomposition of states. The main issues are the compositionality of the semantics, the definition of the semantic behavior for a kind of history mechanism, and the different views of the feedback operator.


Available as compressed Postscript

BibTeX-Entry:

@techreport{ TUM-I9610, author = {Dieter Nazareth and Franz Regensburger and Peter Scholz}, title = {Mini-Statecharts\: A Lean Version of Statecharts}, number = {TUM-I9610}, institution = {Technische Univerit\"at M\"unchen}, year = {1996}, url = {http://www4.informatik.tu-muenchen.de/reports/TUM-I9610.html}, abstract = {Statecharts are well accepted in industrial applications for specifying reactive, embedded systems. Unfortunately, a reference semantics has not been developed until now. Therefore, the semantics of Statecharts is still of interest in the science community. This paper presents a compositional, denotational semantics for a special subclass of Statecharts based on stream processing functions. The basic component of Mini-Statecharts is a deterministic, reactive, signal-triggered sequential automaton which can be composed in multiple ways. The composition operators are\: parallel composition, local signal-scoping, semantic feedback of signals, and decomposition of states. The main issues are the compositionality of the semantics, the definition of the semantic behavior for a kind of history mechanism, and the different views of the feedback operator. }, CRClassification = {}, CRGenTerms = {} }