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 comp...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Nazareth, Dieter (VerfasserIn)
Weitere Verfasser:	Regensburger, Franz (VerfasserIn), Scholz, Peter (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	München 1996
Schriftenreihe:	Technische Universität <München>: TUM-I 9610
Schlagworte:	Embedded computer systems > Programming languages (Electronic computers) > Semantics
Online Zugang:	Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Bestellen

Beschreibung
Zusammenfassung:	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."
Beschreibung:	29 S. graph. Darst.