HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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

Flavio Oquendo 1
1 ArchWare
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires
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.
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01433103
Contributor : Flavio Oquendo Connect in order to contact the contributor
Submitted on : Thursday, January 12, 2017 - 2:42:00 PM
Last modification on : Wednesday, November 3, 2021 - 6:05:59 AM

Identifiers

Citation

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⟩

Share

Metrics

Record views

219