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:
<![CDATA[
@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 = {}
}
]]>