Modélisation de systèmes biologiques en programmation concurrente par contraintes hybrides

Alexander Bockmayr 1 Arnaud Courtois 1
1 MODBIO - Computational models in molecular biology
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : La biologie des systèmes représente un nouveau domaine qui vise à la compréhension des systèmes biologiques à différents niveaux. Nombre de recherches ont démarré, ayant pour but de comprendre comment les différentes parties d'un système biologique interagissent pour constituer des fonctions complexes. Les modèles informatiques, qui peuvent aider à analyser ou prédirele devenir temporel d'un système, jouent un rôle crucial en biologie. L'objectif de cet article est de montrer que la programmation concurrente par contraintes hybrides [GuptaJagadeesanSaraswat98] peut être une alternative prometteuse aux approches de modélisations existantes en biologie systémique. Hybrid cc est un langage de programmation déclaratif, compositionnel, qui permet de modéliser et simuler la dynamique de systèmes hybrides, c.-à-d. des systèmes pouvant changer d'état de façon discrète ou continue. Nous montrons que Hybrid cc peut modéliser de façon naturelle une grande variété de phénomènes biologiques comme l'atteinte de seuil, la cinétique, les interactions génétiques, ou les voies de régulation biologiques.
Type de document :
Communication dans un congrès
M. Rueher. Onzièmes Journées Francophone de Programmation en logique avec contraintes - JFPLC'02, 2002, Nice, France, Hermes, pp.167-180, 2002
Liste complète des métadonnées

https://hal.inria.fr/inria-00100782
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 14:50:59
Dernière modification le : jeudi 11 janvier 2018 - 06:19:51

Identifiants

  • HAL Id : inria-00100782, version 1

Collections

Citation

Alexander Bockmayr, Arnaud Courtois. Modélisation de systèmes biologiques en programmation concurrente par contraintes hybrides. M. Rueher. Onzièmes Journées Francophone de Programmation en logique avec contraintes - JFPLC'02, 2002, Nice, France, Hermes, pp.167-180, 2002. 〈inria-00100782〉

Partager

Métriques

Consultations de la notice

108