Formally describing the software architecture of Systems-of-Systems with SosADL - Archive ouverte HAL Access content directly
Conference Papers Year : 2016

Formally describing the software architecture of Systems-of-Systems with SosADL

Flavio Oquendo

Abstract

Conceiving Software Architecture Description Languages (ADLs) has been the subject of intensive research in the last two decades resulting in the definition of several ADLs for describing static and dynamic software architectures of (often large) single systems. However, none of these ADLs has the expressive power to formally describe the software architecture of a System-of-Systems (SoS). For addressing this research challenge, this paper proposes a novel ADL, named SosADL, specially conceived to formally describe the software architecture of SoSs. It embodies SoS architectural concepts while providing a formal language supporting automated analysis. Its toolset is outlined. The use of SosADL is illustrated through an extract of a case study.
No file

Dates and versions

hal-01433103 , version 1 (12-01-2017)

Identifiers

Cite

Flavio Oquendo. Formally describing the software architecture of Systems-of-Systems with SosADL. 11th IEEE System of Systems Engineering Conference (SoSE), Jun 2016, Kongsberg, Norway. ⟨10.1109/SYSOSE.2016.7542926⟩. ⟨hal-01433103⟩
226 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More