Decidability Results for Dynamic Installation of Compensation Handlers

Ivan Lanese 1, 2 Gianluigi Zavattaro 2, 3
2 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : Dynamic compensation installation allows for easier specification of fault handling in complex interactive systems since it enables to update the compensation policies according to run-time information. In this paper we show that in a simple π-like calculus with static compensations the termination of a process is decidable, but it is undecidable in one with dynamic compensations. We then consider three commonly used patterns for dynamic compensations, showing that process termination is decidable for parallel and replacing compensations while it remains undecidable for nested compensations.
Type de document :
Communication dans un congrès
Rocco De Nicola and Christine Julien. COORDINATION, 2013, Florence, Italy. Springer, 7890, pp.136-150, 2013, Lecture Notes in Computer Science
Liste complète des métadonnées

Littérature citée [27 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00909301
Contributeur : Davide Sangiogi <>
Soumis le : mardi 26 novembre 2013 - 10:45:38
Dernière modification le : samedi 27 janvier 2018 - 01:30:58
Document(s) archivé(s) le : jeudi 27 février 2014 - 07:50:09

Fichier

coordination2013.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00909301, version 1

Collections

Citation

Ivan Lanese, Gianluigi Zavattaro. Decidability Results for Dynamic Installation of Compensation Handlers. Rocco De Nicola and Christine Julien. COORDINATION, 2013, Florence, Italy. Springer, 7890, pp.136-150, 2013, Lecture Notes in Computer Science. 〈hal-00909301〉

Partager

Métriques

Consultations de la notice

191

Téléchargements de fichiers

142