On the Expressiveness of Synchronization in Component Deployment

Jacopo Mauro 1 Gianluigi Zavattaro 2, 3, *
* Auteur correspondant
2 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : The Aeolus component problem of automatic deployment of complex distributed component systems. In the general setting, the task of checking if a distributed application can be deployed is an undecidable problem. However, the current undecidability proof in Aeolus assumes the possibility to perform in a synchronized way atomic configuration actions on a set of interdependent components: this feature is usually not supported by deployment frameworks. In this paper we prove that even without synchronized configuration actions the Aeolus component model is still Turing complete. On the contrary, we show that other Aeolus features like capacity constraints and conflicts are necessary: if we remove the former the deployment problem becomes non-primitive recursive, while in the latter it becomes poly-time.
Type de document :
Chapitre d'ouvrage
Theory and Practice of Formal Methods , 9660 pp.344-359, 2016, Lecture Notes in Computer Science, 〈10.1007/978-3-319-30734-3〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01334772
Contributeur : Zavattaro Gianluigi <>
Soumis le : mardi 21 juin 2016 - 13:04:52
Dernière modification le : jeudi 11 janvier 2018 - 16:47:57
Document(s) archivé(s) le : jeudi 22 septembre 2016 - 13:24:14

Fichier

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

Identifiants

Collections

Citation

Jacopo Mauro, Gianluigi Zavattaro. On the Expressiveness of Synchronization in Component Deployment. Theory and Practice of Formal Methods , 9660 pp.344-359, 2016, Lecture Notes in Computer Science, 〈10.1007/978-3-319-30734-3〉. 〈hal-01334772〉

Partager

Métriques

Consultations de la notice

82

Téléchargements de fichiers

30