Modeling Collaborations in adaptive Systems of Systems
An increasing demand on functionality and flexibility leads to an integration of beforehand isolated system solutions building a so-called System of Systems (SoS). Furthermore, the overall SoS should be adaptive to react on changing requirements and environmental conditions. Due SoS are composed of different independent systems that may join or leave the overall SoS at arbitrary point in times, the SoS structure varies during the systems lifetime and the overall SoS behavior emerges from the capabilities of the contained subsystems. In such complex system ensembles new demands of understanding the interaction among subsystems, the coupling of shared system knowledge and the influence of local adaptation strategies to the overall resulting system behavior arise.
In my research, I focus on modeling the interactions between system parts inside a SoS in so-called collaborations. Furthermore, on basis of a formal modeling language, I investigate the verification capabilities of the modeled collaborations to detect violations of the interaction specification, coupling of shared knowledge, and correct emergent behavior of the overall SoS. Beside the verification, I gain intention to simulation support for adaptive SoS, where the behavior is specified in form of graph transformation systems.