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.
Type de document :
Communication dans un congrès
11th IEEE System of Systems Engineering Conference (SoSE), Jun 2016, Kongsberg, Norway. 2016, 〈http://www.sose2016.org/〉. 〈10.1109/SYSOSE.2016.7542926〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01433103
Contributeur : Flavio Oquendo <>
Soumis le : jeudi 12 janvier 2017 - 14:42:00
Dernière modification le : mercredi 16 mai 2018 - 11:24:04

Identifiants

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. 2016, 〈http://www.sose2016.org/〉. 〈10.1109/SYSOSE.2016.7542926〉. 〈hal-01433103〉

Partager

Métriques

Consultations de la notice

168