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.
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

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〉

Partager

Métriques

Consultations de la notice

59