A Calculus for Component Evolvability (Extended Abstract)

Mario Bravetti 1, 2 Cinzia Di Giusto Jorge A. Perez Gianluigi Zavattaro 1, 2
1 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : We describe ongoing work on a formal framework for reasoning about dynamically evolvable aggregations of components. The framework relies on an extension of CCS with primitives describing components and evolvability capabilities. We propose and investigate two correctness properties: bounded and eventual adaptation. While bounded adaptation ensures that at most k errors will arise in future states -- including those reachable as a result of dynamic reconfigurations --, eventual adaptation ensures that the system will eventually reach a state from which no other error will arise (i.e., only finitely many errors can occur). We study the decidability of these two adaptation properties in six different variants of the calculus, which represent different evolvability patterns.
Type de document :
Communication dans un congrès
Formal Aspects of Component Software (FACS 2010), 2010, Guimarães, Portugal. 2010
Liste complète des métadonnées

Contributeur : Davide Sangiogi <>
Soumis le : vendredi 8 novembre 2013 - 15:42:32
Dernière modification le : jeudi 11 janvier 2018 - 16:20:38


  • HAL Id : hal-00881630, version 1



Mario Bravetti, Cinzia Di Giusto, Jorge A. Perez, Gianluigi Zavattaro. A Calculus for Component Evolvability (Extended Abstract). Formal Aspects of Component Software (FACS 2010), 2010, Guimarães, Portugal. 2010. 〈hal-00881630〉



Consultations de la notice