π-Calculus for SoS: A Novel π-Calculus for the Formal Modeling of Software-intensive Systems-of-Systems

Flavio Oquendo 1
1 ArchWare
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires
Abstract : A major research challenge in the architectural design of a software-intensive System-of-Systems (SoS) is to enable the formal modeling of its evolutionary architecture. One of the main issues is that SoS architectures evolve dynamically, during run-time, in unexpected ways while producing emergent behaviour. To address this issue, this paper proposes a novel process calculus, called π-Calculus for SoS, defined as a novel variant of the π-Calculus based on concurrent constraints and inferred channel bindings for enabling the formal modeling of software-intensive SoSs, meeting their challenging architectural characteristics.
Type de document :
Communication dans un congrès
38th International Conference on Communicating Process Architectures (CPA 2016), Aug 2016, Copenhagen, Denmark. 2016, 〈http://www.wotug.org/cpa2016/〉
Liste complète des métadonnées

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

Identifiants

  • HAL Id : hal-01433127, version 1

Collections

Citation

Flavio Oquendo. π-Calculus for SoS: A Novel π-Calculus for the Formal Modeling of Software-intensive Systems-of-Systems. 38th International Conference on Communicating Process Architectures (CPA 2016), Aug 2016, Copenhagen, Denmark. 2016, 〈http://www.wotug.org/cpa2016/〉. 〈hal-01433127〉

Partager

Métriques

Consultations de la notice

234