Enhancing the SysLab System Model with State
Software Engineering
2014-12-09 v1
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.
Keywords
Cite
@article{arxiv.1412.2461,
title = {Enhancing the SysLab System Model with State},
author = {Radu Grosu and Cornel Klein and Bernhard Rumpe},
journal= {arXiv preprint arXiv:1412.2461},
year = {2014}
}
Comments
46 pages, 7 figures; Technical Report TUM-I9631, TU Munich, 1996. arXiv admin note: text overlap with arXiv:1411.6027