Login
- Title:
Enhancing the SysLab System Model with State
- Document type:
- Technical Report
- Author(s):
- Radu Grosu; Cornel Klein; Bernhard Rumpe
- 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.
- Keywords:
- System Model; SysLab; Automata; Parallelism; Parallel composition; Infinite composition
- Year:
- 1996
- Year / month:
- 1996-07-01 00:00:00
- Pages:
- 42
BibTeX