A Rule Language for Interaction

Carlos Castro Eric Monfroy Christophe Ringeissen 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : In this paper, we propose a rule language to design interactive component languages and basic coordination languages. In our language, concurrent rules manage interactions of call-back functions that apply on a store of data. This store can freely be structured as an array, a list, a set of communication channels, etc. Our rule language can be seen as an abstract machine to specify and implement interactive component languages. We also propose such a component language devoted to solver cooperations and solver cooperation languages. We illustrate the use of this specific component language to implement some primitives of an existing solver cooperation language.
Mots-clés : contraintes cooperation language constraints rules règles langage de coopération
Type de document :
Communication dans un congrès
K. R. Apt and F. Fages and F. Rossi and P. Szeredi and J. Vancza. Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming - CSCLP'03, May 2004, Budapest, Hongrie, Springer-Verlag, 3010, pp.154-170, 2004, Lecture Notes in Artificial Intelligence
Liste complète des métadonnées
https://hal.inria.fr/inria-00099984
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 10:13:04
Dernière modification le : jeudi 11 janvier 2018 - 06:19:59

Identifiants

  • HAL Id : inria-00099984, version 1

Collections

INRIA | LORIA | UNIV-LORRAINE

Citation

Carlos Castro, Eric Monfroy, Christophe Ringeissen. A Rule Language for Interaction. K. R. Apt and F. Fages and F. Rossi and P. Szeredi and J. Vancza. Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming - CSCLP'03, May 2004, Budapest, Hongrie, Springer-Verlag, 3010, pp.154-170, 2004, Lecture Notes in Artificial Intelligence. 〈inria-00099984〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

65

Contact


archive-ouverte@inria.fr