π-Calculus for SoS: A foundation for formally describing software-intensive Systems-of-Systems

Flavio Oquendo 1
1 ArchWare
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires
Abstract : A critical issue for the design of a System-of-Systems (SoS) is the formal description of its architecture. One of the complicating factors for formally describing SoS architectures is that they evolve dynamically, during run-time, in unexpected ways. Today, none of the existing process calculi applied for formally describing the architecture of software-intensive single systems has the expressive power to formally describe the architecture of software-intensive SoSs. To address this issue, this paper proposes a novel process calculus, the π-Calculus for SoS, which was specially conceived for enabling the formal architecture description of software-intensive SoSs, meeting their challenging characteristics.
Type de document :
Communication dans un congrès
11th IEEE System of Systems Engineering Conference (SoSE), Jun 2016, Kongsberg, Norway. IEEE, pp.1-6, 2016, 〈http://www.sose2016.org/〉. 〈10.1109/SYSOSE.2016.7542925〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01433093
Contributeur : Flavio Oquendo <>
Soumis le : jeudi 12 janvier 2017 - 14:35:16
Dernière modification le : mercredi 21 février 2018 - 01:54:20

Identifiants

Collections

Citation

Flavio Oquendo. π-Calculus for SoS: A foundation for formally describing software-intensive Systems-of-Systems. 11th IEEE System of Systems Engineering Conference (SoSE), Jun 2016, Kongsberg, Norway. IEEE, pp.1-6, 2016, 〈http://www.sose2016.org/〉. 〈10.1109/SYSOSE.2016.7542925〉. 〈hal-01433093〉

Partager

Métriques

Consultations de la notice

258