• 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