Decidability Results for Dynamic Installation of Compensation Handlers

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 Nicola; Christine Julien. 15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. Springer, Lecture Notes in Computer Science, LNCS-7890, pp.136-150, 2013, Coordination Models and Languages. 〈10.1007/978-3-642-38493-6_10〉
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-01486023
Contributeur : Hal Ifip <>
Soumis le : jeudi 9 mars 2017 - 15:52:43
Dernière modification le : vendredi 24 mars 2017 - 09:43:21
Document(s) archivé(s) le : samedi 10 juin 2017 - 14:40:50

Fichier

978-3-642-38493-6_10_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Ivan Lanese, Gianluigi Zavattaro. Decidability Results for Dynamic Installation of Compensation Handlers. Rocco Nicola; Christine Julien. 15th International Conference on Coordination Models and Languages (COORDINATION), Jun 2013, Florence, Italy. Springer, Lecture Notes in Computer Science, LNCS-7890, pp.136-150, 2013, Coordination Models and Languages. 〈10.1007/978-3-642-38493-6_10〉. 〈hal-01486023〉

Partager

Métriques

Consultations de la notice

80

Téléchargements de fichiers

13