Le Join-Calcul, un calcul d'agents mobiles

Sylvain CONCHON
Projet PARA, Bat 8
INRIA Rocquencourt, B.P. 105
78153 Le Chesnay Cedex, France
Email: Sylvain.Conchon@inria.fr






A l'ère d'Internet et du commerce électronique, un nouveau paradigme de programmation, basé sur le concept d'agent mobile [ChK94], a fait son apparition. Ces programmes autonomes, transmis et exécutés entre plusieurs machines, ont été jusqu'ici principalement écrits dans des langages de scripts ([Gra95, Whi96]). Aujourd'hui, le langage Java ([GM94, RMI]), popularisé par ses célèbres applets, essaie de s'imposer comme le "langage conçu pour Internet". Cependant, même s'il présente des caractéristiques intéressantes, il ne répond pas complètement aux exigences de cette nouvelle technologie, dont la programmation reste un art difficile et demande de réels fondements théoriques.

C'est pour répondre à ce besoin que le projet PARA tente de concilier la théorie des langages concurrents et leur implémentation . Plus particulièrement, il s'intéresse au développement, à la compilation et à la sémantique des langages fonctionnels concurrents pour les environnements distribués, avec possibilités de migrations.

Notre langage, Jocaml (http://pauillac.inria.fr/jocaml), étend le langage Ocaml (http://ocaml.inria.fr), avec des primitives simples et puissantes, empruntées au Join-Calcul [FGL+96], un calcul d'agents mobiles, developpé également dans notre equipe.

Cet exposé sera consacré à la présentation de notre système, tant d'un point de vue théorique que pratique, ainsi qu'aux sujets de recherche en cours.

Références

[ChK94]
David Chess, Colin harrison, and Aaron Kershenbaum. Mobile agents: Are they a good idea? In RC 19887, Baltimore, Maryland, dec 1994. IBM Research Report.

[FGL+96]
Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, and Didier Rémy. A calculus of mobile agents. In 7th International Conference on Concurrency Theory (CONCUR'96), pages 406--421, Pisa, Italy, August 26-29 1996. Springer-Verlag. LNCS 1119.

[GM94]
James Gosling and Henry McGilton. the java language environment: A white paper. may 1994.

[Gra95]
Robert S. Gray. Agent tcl: A transportable agent system. In CIKM Workshop on Intelligent Information Agents, Baltimore, Maryland, dec 1995. Fourth International Conference on Information and Knowledge Management (CI KM 95).

[RMI]
Java remote method invocation - distributed computing for java.

[Whi96]
J.E. White. Telescript technology: Mobile agents. In Software Agents. J. Bradshaw, editor, AAAI Press/MIT Press, 1996.

Ce document a été traduit de LATEX par HEVEA.