Formally describing the software architecture of Systems-of-Systems with SosADL - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

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

Flavio Oquendo

Résumé

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.
Fichier non déposé

Dates et versions

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

Identifiants

Citer

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⟩
227 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More