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.
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

https://hal.inria.fr/hal-00881630
Contributeur : Davide Sangiogi <>
Soumis le : vendredi 8 novembre 2013 - 15:42:32
Dernière modification le : samedi 21 avril 2018 - 01:27:40

Identifiants

  • HAL Id : hal-00881630, version 1

Collections

Citation

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〉

Partager

Métriques

Consultations de la notice

147