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. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1109/SYSOSE.2014.6892473 | System of Systems Engineering |
Keywords | Field | DocType |
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,integration,modelling,systems of systems,theorem proving,tool-chain,unifying theories | Domain-specific language,Notation,Systems engineering,Software engineering,Computer science,System of systems,Model integration,Systems Modeling Language,Semantic heterogeneity | Conference |
Citations | PageRank | References |
3 | 0.41 | 12 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Foster, S. | 1 | 3 | 0.41 |
Alvaro Miyazawa | 2 | 91 | 9.33 |
J. C. P. Woodcock | 3 | 519 | 53.82 |
Cavalcanti, A. | 4 | 3 | 0.41 |