• DocumentCode
    228153
  • Title

    An approach for managing semantic heterogeneity in Systems of Systems Engineering

  • Author

    Foster, Scott ; Miyazawa, Alvaro ; Woodcock, Jim ; Cavalcanti, Antonio ; Fitzgerald, Jeannie ; Larsen, Peter Gorm

  • Author_Institution
    Univ. of York, York, UK
  • fYear
    2014
  • fDate
    9-13 June 2014
  • Firstpage
    113
  • Lastpage
    118
  • Abstract
    Semantic heterogeneity is a significant challenge to integration in Systems of Systems Engineering (SoSE) due the large variety of languages, domains and tools which are used in their construction. In this paper we envision a strategy for managing this heterogeneity by decomposing domain specific languages into their “building block” theories which can be independently analysed, and used as a basis for linking with similar notations. This provides a systematic approach to building a tool-chain which integrates the different theories, methods and tools used in SoSE. Our approach has been piloted on the development of theories enabling machine-supported analysis of SysML models of SoSs. We conclude that the approach has further potential and identify lines of future research, notably in techniques for handling mixed discrete and continuous behaviour, timebands, mobility and model integration in SoSE.
  • Keywords
    specification languages; systems engineering; theorem proving; SoSE; SoSs; SysML models; building block theory; domain specific languages; machine-supported analysis; semantic heterogeneity; systems of systems engineering; Analytical models; DSL; Mathematical model; Semantics; Unified modeling language; integration; modelling; systems of systems; theorem proving; tool-chain; unifying theories;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    System of Systems Engineering (SOSE), 2014 9th International Conference on
  • Conference_Location
    Adelade, SA
  • Type

    conf

  • DOI
    10.1109/SYSOSE.2014.6892473
  • Filename
    6892473