DocumentCode
710683
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
fYear
2015
fDate
13-16 April 2015
Firstpage
200
Lastpage
205
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems Conference (SysCon), 2015 9th Annual IEEE International
Conference_Location
Vancouver, BC
Type
conf
DOI
10.1109/SYSCON.2015.7116752
Filename
7116752
Link To Document