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:
<![CDATA[
@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