π-Calculus for SoS: A foundation for formally describing software-intensive Systems-of-Systems - Archive ouverte HAL
Communication Dans Un Congrès Année : 2016

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

Flavio Oquendo

Résumé

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

Dates et versions

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

Identifiants

Citer

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. pp.1-6, ⟨10.1109/SYSOSE.2016.7542925⟩. ⟨hal-01433093⟩
296 Consultations
0 Téléchargements

Altmetric

Partager

More