ANR AutoCHEM

Document Actions

This project aims at investigating and exploring an unconventional approach, based on chemical computing, to program complex computing infrastructures, such as Grids and real-time deeply-embedded systems. Chemical computing uses the chemical reaction metaphor to express the coordination of computations. This metaphor describes computation in terms of a chemical solution in which molecules (representing data) interact freely according to reaction rules. Chemical solutions are represented by multisets (data-structure that allows several occurrences of the same element). Computation proceeds by rewritings, which consume and produce new elements according to conditions and transformation rules.

Meetings

Kick-off meeting (INRIA Rocquencourt - February 12, 2008)

Program

10h15 Introduction (T. Priol)
10h30 Towards Chemical Desktop Grids (T. Priol)
11h15 High-order Chemical Language (P. Fradet)
12h00 Lunch
13h30 MGS (J.-L. Giavitto)
14h15 Deeply embedded system (C. Gamrat)
15h00 Discussions and workplan

Meeting INRIA Paris - June 11, 2010)

Participants:

INRIA Rennes: Jean-Pierre Banâtre, Thierry Priol, Jean-Louis Pazat, Cédric Tedeschi, Chen Wang, Héctor Fernandez, Marko Obrovac
INRIA Grenoble: Pascal Fradet
Université d'Evry: Jean-Louis Giavitto, Olivier Michel, Franck Pommereau, Marnes Hoff, Hanna Klaudel

Program:

Introduction (T. Priol)
Raffinement de données et stratégies d'application des règles (M. Hoff) [Paper]
Gamma et réseaux de Petri (J.-L. Giavitto) [Slides] [Paper]
Vérification de programmes via la traduction en réseaux de Petri (H. Klaudel) [Slides]
Lunch
Service Selection with the Chemical Programming Model (C. Wang) [Slides]
Decentralized Workflow Execution Using the Chemical Metaphor (H. Fernandez) [Slides]
Activities within S-Cube related to Chemical Programming (J.-L. Pazat)
Discussion

Created by nparlava
Last modified 01.09.2010 09:00 AM

Personal tools

Navigation

ANR AutoCHEM

Document Actions

News