Skip to Main content Skip to Navigation

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.
Document type :
Complete list of metadata
Contributor : Publications Loria <>
Submitted on : Thursday, October 19, 2006 - 9:03:39 AM
Last modification on : Friday, February 26, 2021 - 3:28:04 PM
Long-term archiving on: : Friday, November 25, 2016 - 12:41:21 PM


  • HAL Id : inria-00107635, version 1



Alexander Bockmayr, Arnaud Courtois. Using hybrid concurrent constraint programming to model dynamic biological systems. [Intern report] A02-R-026 || bockmayr02a, 2002, 15 p. ⟨inria-00107635⟩



Record views


Files downloads