Benutzer: Gast  Login
Titel:

An Extended Version of Mini-Statecharts

Dokumenttyp:
Technical Report
Autor(en):
Peter Scholz
Abstract:
Statecharts are a visual specification mechanism for specifying reactive, embedded systems. They are implemented in commercial tools like Statemate. However, some syntactic constructs impede the modular system specification and have a confusing semantics. In NRS96 we presented Mini-Statecharts, a lean version of Statecharts. Mini-Statecharts are restricted to the most important syntactic elements of Statecharts but are nevertheless powerful enough to specify complex systems. In this contribution...     »
Stichworte:
Statecharts; Hierarchical Automata; Parallel Automata; Specification of Reactive Systems; Perfect Synchrony; Signal Feedback
Jahr:
1996
Jahr / Monat:
1996-06-01 00:00:00
Seiten/Umfang:
26
 BibTeX