User: Guest  Login
Title:

An Extended Version of Mini-Statecharts

Document type:
Technical Report
Author(s):
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...     »
Keywords:
Statecharts; Hierarchical Automata; Parallel Automata; Specification of Reactive Systems; Perfect Synchrony; Signal Feedback
Year:
1996
Year / month:
1996-06-01 00:00:00
Pages:
26
 BibTeX