Gilles Favre et JM Alliot

Modélisation des cartes d’interaction moléculaire

Les réseaux métaboliques, formés par une série de voies métaboliques, sont constitués de réactions intracellulaires et extracellulaires qui déterminent les propriétés biochimiques d’une cellule, et par un ensemble d’interactions qui guident et régulent l’activité de ces réactions. La plupart de ces voies sont formées par un réseau complexe de réactions en chaîne, et peuvent être représentées sous une forme lisible par l’homme à l’aide de graphiques qui décrivent les voies de contrôle du cycle cellulaire.
Nous proposons une méthode pour représenter les cartes d’interaction moléculaire (représentations graphiques de réseaux métaboliques complexes) en logique temporelle linéaire. La représentation logique de tels réseaux permet de raisonner sur eux, afin de vérifier, par exemple, si un graphe satisfait une propriété donnée ϕ, ainsi que de trouver quelles conditions initiales garantiraient ϕ, ou encore comment le graphe peut être mis à jour afin de satisfaire ϕ.