Technical Report -
 Bernhard Rumpe
Enhancing the SysLab System Model with State.



Author(s): Radu Grosu, Cornel Klein, Bernhard Rumpe
Year: 1996
Number: TUM-I9631
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.


Available as pdf


BibTeX-Entry:
@techreport{ TUM-I9631, author = {Radu Grosu and Cornel Klein and Bernhard Rumpe}, title = {Enhancing the SysLab System Model with State.}, number = {TUM-I9631}, institution = {Technische Univerit\"at M\"unchen}, year = {1996} }

Bernhard Rumpe