Enhancing the SysLab System Model with State

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

Occurrences: