Adaptable Processes

Abstract : We propose the concept of adaptable processes as a way of overcoming the limitations that process calculi have for describing patterns of dynamic process evolution. Such patterns rely on direct ways of controlling the behavior and location of running processes. As such, they are at the heart of the adaptation capabilities present in many modern concurrent systems. Adaptable processes have a location and are sensible to actions of dynamic update at runtime. This allows to express a wide range of evolvability patterns for processes. We introduce a core calculus of adaptable processes and propose two verification problems for them: bounded and eventual adaptation. While the former ensures that at most k consecutive errors will arise in future states, the latter ensures that if the system enters in an error state then it will eventually reach a correct state. We study the (un)decidability of these two adaptation properties in different fragments of the calculus. Rather than a specification language, our calculus intends to be a basis for investigating the fundamental properties of evolvable processes and for developing richer languages with evolvability capabilities.
Type de document :
Article dans une revue
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2012, 8 (4:13), pp.1--71
Liste complète des métadonnées

https://hal.inria.fr/hal-00909365
Contributeur : Davide Sangiogi <>
Soumis le : mardi 26 novembre 2013 - 11:07:27
Dernière modification le : vendredi 16 mars 2018 - 01:12:08

Identifiants

  • HAL Id : hal-00909365, version 1

Collections

Citation

Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro. Adaptable Processes. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2012, 8 (4:13), pp.1--71. 〈hal-00909365〉

Partager

Métriques

Consultations de la notice

195