Skip to Main content Skip to Navigation
New interface
Conference papers

A Calculus for Component Evolvability (Extended Abstract)

Mario Bravetti 1, 2 Cinzia Di Giusto 3 Jorge A. Perez 4 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]
3 SARDES - System architecture for reflective distributed computing environments
Inria Grenoble - Rhône-Alpes, CNRS - Centre National de la Recherche Scientifique : FR71
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.
Document type :
Conference papers
Complete list of metadata
Contributor : Davide Sangiogi Connect in order to contact the contributor
Submitted on : Friday, November 8, 2013 - 3:42:32 PM
Last modification on : Friday, January 21, 2022 - 3:23:23 AM


  • 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. ⟨hal-00881630⟩



Record views