Skip to Main content Skip to Navigation
Conference papers

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
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/inria-00099984
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 10:13:04 AM
Last modification on : Friday, February 26, 2021 - 3:28:06 PM

Identifiers

  • HAL Id : inria-00099984, version 1

Collections

INRIA | CNRS | LORIA | UNIV-LORRAINE

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

91

 

Contact                    Legal Notice                    Personal Data