Modélisation de systèmes biologiques en programmation concurrente par contraintes hybrides - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2002

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

Arnaud Courtois
  • Fonction : Auteur
  • PersonId : 831467

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.
Fichier non déposé

Dates et versions

inria-00100782 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00100782 , version 1

Citer

Alexander Bockmayr, Arnaud Courtois. Modélisation de systèmes biologiques en programmation concurrente par contraintes hybrides. Onzièmes Journées Francophone de Programmation en logique avec contraintes - JFPLC'02, 2002, Nice, France, pp.167-180. ⟨inria-00100782⟩
203 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More