Interactive Interaction Constraints

Abstract : Interaction constraints are an expressive formalism for describing coordination patterns, such as those underlying the coordination language Reo, that can be efficiently implemented using constraint satisfaction technologies such as SAT and SMT solvers. Existing implementations of interaction constraints interact with external components only in a very simple way: interaction occurs only between rounds of constraint satisfaction. What is missing is any means for the constraint solver to interact with the external world during constraint satisfaction.This paper introduces interactive interaction constraints which enable interaction during constraint satisfaction, and in turn increase the expressiveness of coordination languages based on interaction constraints by allowing a larger class of operations to be considered to occur atomically. We describe how interactive interaction constraints are implemented and detail a number of strategies for guiding constraint solvers. The benefit of interactive interaction constraints is illustrated using two examples, a hotel booking system and a system of transactions with compensations. From a general perspective, our work describes how to open up and exploit constraint solvers as the basis of a coordination engine.
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.211-225, 2013, Coordination Models and Languages. 〈10.1007/978-3-642-38493-6_15〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01486028
Contributeur : Hal Ifip <>
Soumis le : jeudi 9 mars 2017 - 15:52:54
Dernière modification le : jeudi 9 mars 2017 - 17:00:11
Document(s) archivé(s) le : samedi 10 juin 2017 - 14:44:26

Fichier

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

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

José Proença, Dave Clarke. Interactive Interaction Constraints. 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.211-225, 2013, Coordination Models and Languages. 〈10.1007/978-3-642-38493-6_15〉. 〈hal-01486028〉

Partager

Métriques

Consultations de la notice

52

Téléchargements de fichiers

22