Enhancing the SysLab System Model with State
This work addresses system modeling challenges for researchers in formal methods and software engineering, but it is incremental as it builds upon the existing SYSLAB model.
The authors extended the SYSLAB system model by introducing state-box models using timed port automata, providing both operational and denotational semantics, and defining composition for components in state-box and black-box views, which works for networks of infinitely many components, with examples demonstrating applicability.
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.