2014/12/08 by Radu Grosu, Grosu, Radu, Cornel Klein +3
Computer Science · #FOS: Computer and information sciences #Software Engineering (cs.SE) #cs.SE
paper · pdf · doi:10.48550/arxiv.1412.2461
46 pages, 7 figures; Technical Report TUM-I9631, TU Munich, 1996. arXiv admin note: text overlap with arXiv:1411.6027
arxiv created 2014/12/08 · arxiv updated 2014/12/09
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.