A Rule Language for Interaction - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2004

A Rule Language for Interaction

Carlos Castro
  • Fonction : Auteur
Eric Monfroy
  • Fonction : Auteur

Résumé

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.

Domaines

Autre [cs.OH]
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : inria-00099984 , version 1

Citer

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⟩
49 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More