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
Link To Document :
بازگشت