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
BibTeX