Benutzer: Gast  Login
Dokumenttyp:
Technical Report 
Autor(en):
Radu Grosu; Cornel Klein; Bernhard Rumpe 
Titel:
Enhancing the SysLab System Model with State 
Abstract:
In this report, the SysLab system model is complemented in different ways: State-box models are provided through timed port automata, for which an operational and a corresponding denotational semantics are given. Composition is defined for components modeled in the state-box view as well as for components modeled in the black-box view. This composition is well-defined for networks of infinitely many components. To show the applicability of the model, several examples are given. 
Stichworte:
System Model; SysLab; Automata; Parallelism; Parallel composition; Infinite composition 
Jahr:
1996 
Jahr / Monat:
1996-07-01 00:00:00 
Seiten/Umfang:
42