A Rule Language for Interaction - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2004

A Rule Language for Interaction

Carlos Castro
  • Function : Author
Eric Monfroy
  • Function : Author


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

Dates and versions

inria-00099984 , version 1 (26-09-2006)


  • HAL Id : inria-00099984 , version 1


Carlos Castro, Eric Monfroy, Christophe Ringeissen. A Rule Language for Interaction. Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming - CSCLP'03, May 2004, Budapest, Hongrie, pp.154-170. ⟨inria-00099984⟩
48 View
0 Download


Gmail Facebook X LinkedIn More