Programmation "chimique" d'ordre supérieur

par Yann Radenac

Thèse de doctorat en Informatique

Sous la direction de Jean-Pierre Banâtre.

Soutenue en 2007

à Rennes 1 .


  • Résumé

    Dans le modèle de programmation « chimique », les programmes sont vus comme des solutions chimiques abstraites. Les données sont des molécules dont les réactions chimiques représentent les opérations. Quand des molécules vérifient une condition de réaction, elles sont remplacées par le résultat de l'opération associée. Le programme se termine quand plus aucune réaction n'est possible. On défend la thèse qu'un modèle chimique d'ordre supérieur est adapté à la programmation de systèmes s'exécutant à grande échelle. Dans ce modèle, les règles de réaction sont elles-mêmes considérées comme des molécules. On définit le gamma-calcul, un système de réécriture chimique d'ordre supérieur. Puis on construit à partir de ce calcul un langage de programmation chimique d'ordre supérieur appelé HOCL. Les programmes HOCL montrent des propriétés d'auto-organisation. On l'illustre par des exemples de programmes chimiques de systèmes autonomes et en particulier de grilles autonomes.

  • Titre traduit

    Higher-order "chemical" programming


  • Résumé

    In the "chemical" programming model, programs are viewed as abstract chemical solutions. Data are molecules whose chemical reactions represent operations between them. When some molecules satisfy a reaction condition, they are replaced by the result of the associated operation. The program finishes when no more reaction is possible. We defend the thesis that a higher-order chemical model is adapted to program systems running in a large scale. In this model, reaction rules are themselves considered as molecules. First, we define the gamma-calculus, a higher-order chemical rewriting system. Then, based on that calculus, we build a higher-order chemical programming language called HOCL. Programs written in HOCL show self-organizing properties. This is illustrated by some examples of chemical programs of autonomous systems and autonomous grids in particular.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (IV-124 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 117-121. Index

Où se trouve cette thèse ?

  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 2007/9
  • Bibliothèque : Centre de recherche INRIA Rennes - Bretagne Atlantique. Service IST.
  • Disponible pour le PEB
  • Cote : D.3 - RAD
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.