Formally Describing the Architectural Behavior of Software-Intensive Systems-of-Systems with SosADL - Archive ouverte HAL
Communication Dans Un Congrès Année : 2016

Formally Describing the Architectural Behavior of Software-Intensive Systems-of-Systems with SosADL

Flavio Oquendo

Résumé

Software-intensive systems are often independently developed, operated, managed, and evolved. Progressively, communication networks have enabled these independent systems to interact, yielding a new kind of complex system, i.e. a system that is itself composed of systems, the so-called System-of-Systems (SoS). By its complex nature, SoS exhibits emergent behaviors. Nowadays, none of the Architecture Description Languages (ADLs), which have been developed for modeling the architectural behavior of single software-intensive systems, has the expressive power to formally describe the architectural behavior of Software-intensive SoSs. For addressing this research challenge, we propose a novel ADL, called SosADL, specially conceived for formally describing the architecture of Software-intensive SoSs. It embodies SoS architectural concepts and constructs encompassing the formal description of software architectures from both the structural and behavioral viewpoints. This paper presents SosADL focusing on the description of the architectural behavior of Software-intensive SoSs. It describes SosADL from its behavioral viewpoint enabling to specify independent systems, mediators among these systems, coalitions of mediated systems, and the architectural conditions that enforce the production of emergent SoS behaviors. It illustrates SosADL through an excerpt of a real application for architecting a Flood Monitoring and Emergency Response SoS.
Fichier non déposé

Dates et versions

hal-01443173 , version 1 (22-01-2017)

Identifiants

Citer

Flavio Oquendo. Formally Describing the Architectural Behavior of Software-Intensive Systems-of-Systems with SosADL. Proceedings of the 21st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2016), Nov 2016, Dubai, United Arab Emirates. pp.13-22, ⟨10.1109/ICECCS.2016.012⟩. ⟨hal-01443173⟩
258 Consultations
0 Téléchargements

Altmetric

Partager

More