Programmation "chimique" d'ordre supérieur
Institution:
Rennes 1Disciplines:
Directors:
Abstract EN:
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.
Abstract FR:
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.