Technical Report
Enhancing the SysLab System Model with State.
Author(s): Radu Grosu, Cornel Klein, Bernhard Rumpe
Year: 1996
Number: TUM-I9631
Editor:
CR Classification:
CR General Terms:
Keywords: System Model, SysLab, Automata, Parallelism, Parallel composition, Infinite composition
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 compressed Postscript
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},
url = {http://www4.informatik.tu-muenchen.de/reports/TUM-I9631.html},
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. },
CRClassification = {},
CRGenTerms = {}
}
]]>