Case study on formally describing the architecture of a Software-intensive System-of-Systems with SosADL

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...

Full description

Saved in:
Bibliographic Details
Published in2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC) pp. 002260 - 002266
Main Author Oquendo, Flavio
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.10.2016
Subjects
Architecture Description Language (ADL)
Case Study
Computer architecture
Concrete
Monitoring
Peer-to-peer computing
Rivers
Sensors
Software Architecture
SosADL
System-of-Systems (SoS)
Urban areas
Online AccessGet full text

Cover

More Information
Summary: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.
DOI:10.1109/SMC.2016.7844575