User: Guest  Login
Document type:
Technical Report 
Author(s):
Peter Scholz 
Title:
An Extended Version of Mini-Statecharts 
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