Enhancing the SysLab System Model with State
arXiv:1412.2461
Abstract
In this report, the SYSLAB 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.
46 pages, 7 figures; Technical Report TUM-I9631, TU Munich, 1996. arXiv admin note: text overlap with arXiv:1411.6027