π-Calculus for SoS: A Novel π-Calculus for the Formal Modeling of Software-intensive Systems-of-Systems - Archive ouverte HAL
Communication Dans Un Congrès Année : 2016

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

Flavio Oquendo

Résumé

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.
Fichier non déposé

Dates et versions

hal-01433127 , version 1 (12-01-2017)

Identifiants

  • HAL Id : hal-01433127 , version 1

Citer

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. ⟨hal-01433127⟩
282 Consultations
0 Téléchargements

Partager

More