User: Guest  Login
Title:

Mini-Statecharts: A Lean Version of Statecharts

Document type:
Technical Report
Author(s):
Dieter Nazareth; Franz Regensburger; Peter Scholz
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 automato...     »
Keywords:
Statecharts; Hierarchical Automata; Parallel Automata; Specification of Reactive Systems; Perfect Synchrony; Signal Feedback
Year:
1996
Year / month:
1996-02-01 00:00:00
Pages:
29
 BibTeX