Software architecture challenges and emerging research in software-intensive systems-of-systems

F Oquendo - … Architecture: 10th European Conference, ECSA 2016 …, 2016 - Springer
Software-intensive systems are often independently developed, operated, managed, and
evolved. Progressively, communication networks enabled these independent systems to …

Formally describing the architectural behavior of software-intensive systems-of-systems with SosADL

F Oquendo - … 21st International Conference on Engineering of …, 2016 - ieeexplore.ieee.org
Software-intensive systems are often independently developed, operated, managed, and
evolved. Progressively, communication networks have enabled these independent systems …

A logic for the statistical model checking of dynamic software architectures

J Quilbeuf, E Cavalcante, LM Traonouez… - … Applications of Formal …, 2016 - Springer
Dynamic software architectures emerge when addressing important features of
contemporary systems, which often operate in dynamic environments subjected to change …

Bridging missions and architecture in software-intensive systems-of-systems

E Silva, E Cavalcante, T Batista… - 2016 21st International …, 2016 - ieeexplore.ieee.org
Missions represent a key concern in the development of Systems-of-Systems (SoS) since
they are related to both capabilities of constituent systems and interactions among these …

The SosADL studio: an architecture development environment for software-intensive systems-of-systems

F Oquendo, J Buisson, E Leroux, G Moguérou… - Proceedings of the …, 2016 - dl.acm.org
Conceiving Architecture Description Languages (ADLs) and accompanying Architecture
Development Environments (ADEs) has been the subject of intensive research in the last …

A formally founded framework for dynamic software architectures

ER de Sousa Cavalcante - 2016 - theses.hal.science
Software architectures play a significant role in the development of software-intensive
systems in order to allow satisfying both functional and non-functional requirements. In …

A formally founded framework for dynamic software architectures

ERS Cavalcante - 2016 - repositorio.ufrn.br
Software architectures play a significant role in the development of software-intensive
systems in order to allow satisfying both functional and non-functional requirements. In …

[PDF][PDF] The π-Calculus for SoS: Novel π-Calculus for the Formal Modeling of Software-intensive Systems-of-Systems

K Chalmers, JB Pedersen - 2016 - wotug.org
A major research challenge in the architectural design of a softwareintensive System-of-
Systems (SoS) is to enable the formal modeling of its evolutionary architecture. One of the …