Title :
A role language to interpret multi-formalism System of systems models
Author :
Schneider, Jean-Philippe ; Champeau, Joel ; Teodorov, Ciprian ; Senn, Eric ; Lagadec, Loic
Author_Institution :
Lab.-STICC, ENSTA Bretagne, Brest, France
Abstract :
New systems are by nature distributed and built around existing systems. The concept of System of systems (SoS) has become the key for creating new systems. Modeling is a central issue of SoS design and evolution. Since subsystems of a SoS can be modeled in different languages, the SoS modeling environment should be able to handle heterogeneous modeling formalism. Traditionally, this problem is handled through type-based model transformations which are rigid and static. In this paper we address this problem by proposing a role modeling language offering a dynamic and extensible way to interpret and connect models from different languages. An usage of the role modeling language on a seafloor observatory use case is shown.
Keywords :
formal specification; formal verification; specification languages; systems engineering; SoS interpretation; multiformalism system of systems model; role modelling language; seafloor observatory use case; type-based model transformation; Adaptation models; Analytical models; Computational modeling; Context; Context modeling; Observatories; Unified modeling language;
Conference_Titel :
Systems Conference (SysCon), 2015 9th Annual IEEE International
Conference_Location :
Vancouver, BC
DOI :
10.1109/SYSCON.2015.7116752