Using hybrid concurrent constraint programming to model dynamic biological systems

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
Abstract : Systems biology is a new area in biology that aims at achieving a systems-level understanding of biological systems. While current genome projects provide a huge amount of data on genes or proteins, lots of research is still necessary to understand how the different parts of a biological system interact in order to perform complex biological functions. Computational models that help to analyze, explain or predict the behavior of biological systems play a crucial role in systems biology. The goal of this paper is to show that hybrid concurrent constraint programming (Gupta/Jagadeesan/Saraswat 98) may be a promising alternative to existing modeling approaches in systems biology. Hybrid cc is a declarative compositional programming language with a well-defined semantics. It allows one to model and simulate the dynamics of hybrid systems, which exhibit both discrete and continuous change. We show that Hybrid cc can be used naturally to model a variety of biological phenomena, such as reaching thresholds, kinetics, gene interaction or biological pathways.
Type de document :
Communication dans un congrès
P. J. Stuckey. 18th International Conference on Logic programming - ICLP'02, 2002, Copenhagen, Denmark, Springer, 2401, pp.85-99, 2002, Lecture Notes in Computer Science
Liste complète des métadonnées

https://hal.inria.fr/inria-00100783
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-00100783, version 1

Collections

Citation

Alexander Bockmayr, Arnaud Courtois. Using hybrid concurrent constraint programming to model dynamic biological systems. P. J. Stuckey. 18th International Conference on Logic programming - ICLP'02, 2002, Copenhagen, Denmark, Springer, 2401, pp.85-99, 2002, Lecture Notes in Computer Science. 〈inria-00100783〉

Partager

Métriques

Consultations de la notice

93