Case Study on Formally Describing the Architecture of a Software-intensive System-of-Systems with SosADL - Archive ouverte HAL
Communication Dans Un Congrès Année : 2016

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

Flavio Oquendo

Résumé

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

Dates et versions

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

Identifiants

  • HAL Id : hal-01433364 , version 1

Citer

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. ⟨hal-01433364⟩
254 Consultations
0 Téléchargements

Partager

More