Abstract
Establishing that a system-of-systems (SoS) architecture respects global SoS-level properties is complex. Recording explicit technical interfaces at the boundaries of constituent systems would facilitate this, but support for the description of such interfaces is limited in current widely-used architectural notations. This paper identifies research challenges that arise from using the combination of SysML and the formal notation VDM to describe the interface specifications recorded at the boundaries of the constituent systems. The approach is illustrated with a case study based on an emergency services SoS.
| Original language | English |
|---|---|
| Title of host publication | 2012 7th International Conference on System of Systems Engineering (SoSE) |
| Publisher | IEEE |
| Pages | 567-572 |
| Number of pages | 6 |
| ISBN (Electronic) | 978-1-4673-2975-0, 978-1-4673-2973-6 |
| ISBN (Print) | 978-1-4673-2974-3 |
| DOIs | |
| Publication status | Published - 2012 |
| Event | International Conference on System of Systems Engineering - Genova, Italy Duration: 16 Jul 2012 → 19 Jul 2012 Conference number: 7 http://www.ieee.org/conferences_events/conferences/conferencedetails/index.html?Conf_ID=20824 |
Conference
| Conference | International Conference on System of Systems Engineering |
|---|---|
| Abbreviated title | SoSE |
| Country/Territory | Italy |
| City | Genova |
| Period | 16/07/12 → 19/07/12 |
| Internet address |
Keywords
- Gold
- Contracts
- Unified modeling language
- Modeling
- Emergency services
- Silver
- systems analysis
- emergency services
- formal specification
- software architecture
- specification languages
- emergency services SoS
- interface specification
- system-of-systems architecture
- explicit technical interface
- architectural notation
- SysML
- VDM