• Using Hybrid concurrent constr...

Result: Using Hybrid concurrent constraint programming to model dynamic biological systems

Title:
Using Hybrid concurrent constraint programming to model dynamic biological systems
Authors:
BOCKMAYR, Alexander, COURTOIS, Arnaud
Source:
Logic programming (Copenhagen, 29 July - 1 August 2002)Lecture notes in computer science. :85-99
Publisher Information:
Berlin: Springer, 2002.
Publication Year:
2002
Physical Description:
print, 25 ref
Original Material:
INIST-CNRS
Subject Terms:
Computer science, Informatique, Sciences exactes et technologie, Exact sciences and technology, Sciences appliquees, Applied sciences, Informatique; automatique theorique; systemes, Computer science; control theory; systems, Informatique théorique, Theoretical computing, Théorie des langages et analyse syntaxique, Language theory and syntactical analysis, Sciences biologiques et medicales, Biological and medical sciences, Sciences biologiques fondamentales et appliquees. Psychologie, Fundamental and applied biological sciences. Psychology, Generalites, General aspects, Mathématiques biologiques. Statistiques. Modèles. Métrologie. Informatique en biologie (généralités), Mathematics in biology. Statistical analysis. Models. Metrology. Data processing in biology (general aspects), Génome, Genome, Genoma, Langage programmation, Programming language, Lenguaje programación, Modèle biologique, Biological model, Modelo biológico, Modèle hybride, Hybrid model, Modelo híbrido, Protéine, Protein, Proteína, Représentation connaissances, Knowledge representation, Representación conocimientos, Système biologique, Biological system, Sistema biológico, Système dynamique, Dynamical system, Sistema dinámico, Système hybride, Hybrid system, Sistema híbrido, Système réactif, Reactive system, Sistema reactivo, Théorie système, Systems theory, Teoría sistema, Langage déclaratif, Declarative language, Programmation concurrente par contrainte, Concurrent constraint programming
Document Type:
Conference Conference Paper
File Description:
text
Language:
English
Author Affiliations:
Université Henri Poincaré, LORIA, B.P. 239, 54506 Vandœuvre-lès-Nancy, France
ISSN:
0302-9743
Access URL:
http://pascal-francis.inist.fr/vibad/index.php?action=search&terms=14840527
Rights:
Copyright 2003 INIST-CNRS
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
Notes:
Biological sciences. Generalities. Modelling. Methods

Computer science; theoretical automation; systems

Generalities in biological sciences
Accession Number:
edscal.14840527
Database:
PASCAL Archive

Further Information

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 [11] 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.