Case Study on Formally Describing the Architecture of a Software-intensive System-of-Systems with SosADL

Flavio Oquendo 1
1 ArchWare
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires
Abstract : Software architecture description has been the subject of intensive research in the last two decades resulting in different formal ADLs applied for describing static and dynamic software architectures of (often large) single systems. However, none of these ADLs has the expressive power for formally describing the evolutionary architecture of a System-of-Systems (SoS). Recently, a novel ADL, called SosADL, was specially conceived for formally describing the software architecture of SoSs. This paper presents a case study demonstrating how SosADL can be applied to formally describe the architecture of a critical Software-intensive SoS, the Urban River Monitoring SoS deployed in the Monjolinho river crossing the city of Sao Carlos.
Type de document :
Communication dans un congrès
15th IEEE International Conference on Systems, Man, and Cybernetics (SMC 2016), Oct 2016, Budapest, Hungary. 2016, 〈http://smc2016.org/〉
Liste complète des métadonnées

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

Identifiants

  • HAL Id : hal-01433364, version 1

Citation

Flavio Oquendo. Case Study on Formally Describing the Architecture of a Software-intensive System-of-Systems with SosADL. 15th IEEE International Conference on Systems, Man, and Cybernetics (SMC 2016), Oct 2016, Budapest, Hungary. 2016, 〈http://smc2016.org/〉. 〈hal-01433364〉

Partager

Métriques

Consultations de la notice

289