Supervision : Marc POUZET

Conception, Sémantique et Implantation de ReactiveML: un langage à la ML pour la programmation réactive

La programmation de systèmes réactifs tels que les simulateurs de systèmes dynamiques ou les jeux vidéo est une tâche difficile. Des méthodes classiques pour programmer ces systèmes sont l'utilisation de bibliothèques de threads ou de programmation événementielle. Le but de ce travail est de proposer une alternative à ces méthodes. Notre approche est de fournir un langage de haut niveau intégrant des constructions de composition parallèle et de communication entre processus. Le fruit de cette approche est la création du langage ReactiveML, une extension de OCaml fondée sur le modèle réactif synchrone introduit par Frédéric Boussinot. Ce modèle reprend des principes du synchrone tels que la composition parallèle déterministe de processus et la communication par diffusion. Il les combine à des mécanismes de création dynamique de processus. Les principaux avantages de ce modèle sont le déterminisme et la compositionalité. Dans ce document, les sémantiques statiques et dynamiques de ReactiveML sont présentées ainsi que différentes techniques d'implantation du modèle réactif. Afin d'illustrer l'utilisation et les performances du langage, l'implantation d'un simulateur de réseaux mobiles ad hoc est décrite. Enfin, le document se termine par des discussions sur les choix de conception du langage et des propositions d'extensions.

2005-2006 Publications

• 2006
  • L. Mandel : “Conception, Sémantique et Implantation de ReactiveML: un langage à la ML pour la programmation réactive”, thesis, phd defence 05/22/2006, supervision Pouzet, Marc (2006)
• 2005
  • L. Mandel, M. Pouzet : “ReactiveML, a Reactive Extension to ML”, PPDP 2005 - ACM International Conference on Principles and Practice of Declarative Programming, Lisboa, Portugal, pp. 82-93, (ACM) (2005)
  • L. Mandel, F. Benbadis : “Simulation of Mobile Ad hoc Network Protocols in ReactiveML”, SLAP 2005 - 4^th Workshop on Synchronous Languages, Applications, and Programming, Edinburgh, United Kingdom (2005)
  • L. Mandel, F. Benbadis : “Simulation of Mobile Ad-Hoc Networks in ReactiveML”, Synchronous Languages, Applications, and Programming (SLAP), Electronic Notes in Theoretical Computer Science, Edinburgh, Scotland, United Kingdom (2005)