Benutzer: Gast  Login
Dokumenttyp:
Technical Report 
Autor(en):
Dieter Nazareth; Franz Regensburger; Peter Scholz 
Titel:
Mini-Statecharts: A Lean Version of Statecharts 
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...    »
 
Stichworte:
Statecharts; Hierarchical Automata; Parallel Automata; Specification of Reactive Systems; Perfect Synchrony; Signal Feedback 
Jahr:
1996 
Jahr / Monat:
1996-02-01 00:00:00 
Seiten/Umfang:
29