Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems
Identifieur interne : 008724 ( Main/Curation ); précédent : 008723; suivant : 008725Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems
Auteurs : Alexander Bockmayr [France] ; Arnaud Courtois [France]Source :
- Lecture Notes in Computer Science [ 0302-9743 ]
Descripteurs français
- Pascal (Inist)
- Wicri :
- topic : Langage de programmation.
English descriptors
- KwdEn :
Abstract
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 [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.
Url:
DOI: 10.1007/3-540-45619-8_7
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: Pour aller vers cette notice dans l'étape Curation :000902
- to stream Istex, to step Curation: Pour aller vers cette notice dans l'étape Curation :000897
- to stream Istex, to step Checkpoint: Pour aller vers cette notice dans l'étape Curation :001B60
- to stream Main, to step Merge: Pour aller vers cette notice dans l'étape Curation :008B80
- to stream PascalFrancis, to step Corpus: Pour aller vers cette notice dans l'étape Curation :000792
- to stream PascalFrancis, to step Curation: Pour aller vers cette notice dans l'étape Curation :000251
- to stream PascalFrancis, to step Checkpoint: Pour aller vers cette notice dans l'étape Curation :000763
- to stream Main, to step Merge: Pour aller vers cette notice dans l'étape Curation :008D48
Links to Exploration step
ISTEX:27607741D9842DF137124406CFD567A4A475C234Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems</title><author><name sortKey="Bockmayr, Alexander" sort="Bockmayr, Alexander" uniqKey="Bockmayr A" first="Alexander" last="Bockmayr">Alexander Bockmayr</name></author><author><name sortKey="Courtois, Arnaud" sort="Courtois, Arnaud" uniqKey="Courtois A" first="Arnaud" last="Courtois">Arnaud Courtois</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:27607741D9842DF137124406CFD567A4A475C234</idno><date when="2002" year="2002">2002</date><idno type="doi">10.1007/3-540-45619-8_7</idno><idno type="url">https://api.istex.fr/ark:/67375/HCB-VX9LSDV2-N/fulltext.pdf</idno><idno type="wicri:Area/Istex/Corpus">000902</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">000902</idno><idno type="wicri:Area/Istex/Curation">000897</idno><idno type="wicri:Area/Istex/Checkpoint">001B60</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">001B60</idno><idno type="wicri:doubleKey">0302-9743:2002:Bockmayr A:using:hybrid:concurrent</idno><idno type="wicri:Area/Main/Merge">008B80</idno><idno type="wicri:source">INIST</idno><idno type="RBID">Pascal:03-0276592</idno><idno type="wicri:Area/PascalFrancis/Corpus">000792</idno><idno type="wicri:Area/PascalFrancis/Curation">000251</idno><idno type="wicri:Area/PascalFrancis/Checkpoint">000763</idno><idno type="wicri:explorRef" wicri:stream="PascalFrancis" wicri:step="Checkpoint">000763</idno><idno type="wicri:doubleKey">0302-9743:2002:Bockmayr A:using:hybrid:concurrent</idno><idno type="wicri:Area/Main/Merge">008D48</idno><idno type="wicri:Area/Main/Curation">008724</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems</title><author><name sortKey="Bockmayr, Alexander" sort="Bockmayr, Alexander" uniqKey="Bockmayr A" first="Alexander" last="Bockmayr">Alexander Bockmayr</name><affiliation wicri:level="4"><country xml:lang="fr">France</country><wicri:regionArea>LORIA, Université Henri Poincaré, B.P. 239, F-54506, Vandœuvre-lès-Nancy</wicri:regionArea><placeName><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region><settlement type="city">Vandœuvre-lès-Nancy</settlement></placeName><orgName type="university">Université Henri Poincaré</orgName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">France</country></affiliation></author><author><name sortKey="Courtois, Arnaud" sort="Courtois, Arnaud" uniqKey="Courtois A" first="Arnaud" last="Courtois">Arnaud Courtois</name><affiliation wicri:level="4"><country xml:lang="fr">France</country><wicri:regionArea>LORIA, Université Henri Poincaré, B.P. 239, F-54506, Vandœuvre-lès-Nancy</wicri:regionArea><placeName><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region><settlement type="city">Vandœuvre-lès-Nancy</settlement></placeName><orgName type="university">Université Henri Poincaré</orgName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">France</country></affiliation></author></analytic><monogr></monogr><series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title><idno type="ISSN">0302-9743</idno><idno type="ISSN">0302-9743</idno></series></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>Biological model</term><term>Biological system</term><term>Concurrent constraint programming</term><term>Declarative language</term><term>Dynamical system</term><term>Genome</term><term>Hybrid model</term><term>Hybrid system</term><term>Knowledge representation</term><term>Programming language</term><term>Protein</term><term>Reactive system</term><term>Systems theory</term></keywords><keywords scheme="Pascal" xml:lang="fr"><term>Génome</term><term>Langage déclaratif</term><term>Langage programmation</term><term>Modèle biologique</term><term>Modèle hybride</term><term>Programmation concurrente par contrainte</term><term>Protéine</term><term>Représentation connaissances</term><term>Système biologique</term><term>Système dynamique</term><term>Système hybride</term><term>Système réactif</term><term>Théorie système</term></keywords><keywords scheme="Wicri" type="topic" xml:lang="fr"><term>Langage de programmation</term></keywords></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">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 [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.</div></front></TEI><double idat="0302-9743:2002:Bockmayr A:using:hybrid:concurrent"><INIST><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" level="a">Using Hybrid concurrent constraint programming to model dynamic biological systems</title><author><name sortKey="Bockmayr, Alexander" sort="Bockmayr, Alexander" uniqKey="Bockmayr A" first="Alexander" last="Bockmayr">Alexander Bockmayr</name><affiliation wicri:level="4"><inist:fA14 i1="01"><s1>Université Henri Poincaré, LORIA, B.P. 239</s1><s2>54506 Vandœuvre-lès-Nancy</s2><s3>FRA</s3><sZ>1 aut.</sZ><sZ>2 aut.</sZ></inist:fA14><country>France</country><placeName><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region><settlement type="city">Vandœuvre-lès-Nancy</settlement></placeName><orgName type="university">Université Henri Poincaré</orgName></affiliation></author><author><name sortKey="Courtois, Arnaud" sort="Courtois, Arnaud" uniqKey="Courtois A" first="Arnaud" last="Courtois">Arnaud Courtois</name><affiliation wicri:level="4"><inist:fA14 i1="01"><s1>Université Henri Poincaré, LORIA, B.P. 239</s1><s2>54506 Vandœuvre-lès-Nancy</s2><s3>FRA</s3><sZ>1 aut.</sZ><sZ>2 aut.</sZ></inist:fA14><country>France</country><placeName><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region><settlement type="city">Vandœuvre-lès-Nancy</settlement></placeName><orgName type="university">Université Henri Poincaré</orgName></affiliation></author></titleStmt><publicationStmt><idno type="wicri:source">INIST</idno><idno type="inist">03-0276592</idno><date when="2002">2002</date><idno type="stanalyst">PASCAL 03-0276592 INIST</idno><idno type="RBID">Pascal:03-0276592</idno><idno type="wicri:Area/PascalFrancis/Corpus">000792</idno><idno type="wicri:Area/PascalFrancis/Curation">000251</idno><idno type="wicri:Area/PascalFrancis/Checkpoint">000763</idno><idno type="wicri:explorRef" wicri:stream="PascalFrancis" wicri:step="Checkpoint">000763</idno><idno type="wicri:doubleKey">0302-9743:2002:Bockmayr A:using:hybrid:concurrent</idno><idno type="wicri:Area/Main/Merge">008D48</idno></publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="en" level="a">Using Hybrid concurrent constraint programming to model dynamic biological systems</title><author><name sortKey="Bockmayr, Alexander" sort="Bockmayr, Alexander" uniqKey="Bockmayr A" first="Alexander" last="Bockmayr">Alexander Bockmayr</name><affiliation wicri:level="4"><inist:fA14 i1="01"><s1>Université Henri Poincaré, LORIA, B.P. 239</s1><s2>54506 Vandœuvre-lès-Nancy</s2><s3>FRA</s3><sZ>1 aut.</sZ><sZ>2 aut.</sZ></inist:fA14><country>France</country><placeName><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region><settlement type="city">Vandœuvre-lès-Nancy</settlement></placeName><orgName type="university">Université Henri Poincaré</orgName></affiliation></author><author><name sortKey="Courtois, Arnaud" sort="Courtois, Arnaud" uniqKey="Courtois A" first="Arnaud" last="Courtois">Arnaud Courtois</name><affiliation wicri:level="4"><inist:fA14 i1="01"><s1>Université Henri Poincaré, LORIA, B.P. 239</s1><s2>54506 Vandœuvre-lès-Nancy</s2><s3>FRA</s3><sZ>1 aut.</sZ><sZ>2 aut.</sZ></inist:fA14><country>France</country><placeName><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region><settlement type="city">Vandœuvre-lès-Nancy</settlement></placeName><orgName type="university">Université Henri Poincaré</orgName></affiliation></author></analytic><series><title level="j" type="main">Lecture notes in computer science</title><idno type="ISSN">0302-9743</idno><imprint><date when="2002">2002</date></imprint></series></biblStruct></sourceDesc><seriesStmt><title level="j" type="main">Lecture notes in computer science</title><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>Biological model</term><term>Biological system</term><term>Concurrent constraint programming</term><term>Declarative language</term><term>Dynamical system</term><term>Genome</term><term>Hybrid model</term><term>Hybrid system</term><term>Knowledge representation</term><term>Programming language</term><term>Protein</term><term>Reactive system</term><term>Systems theory</term></keywords><keywords scheme="Pascal" xml:lang="fr"><term>Système hybride</term><term>Système réactif</term><term>Système dynamique</term><term>Théorie système</term><term>Représentation connaissances</term><term>Langage programmation</term><term>Protéine</term><term>Modèle hybride</term><term>Génome</term><term>Système biologique</term><term>Modèle biologique</term><term>Programmation concurrente par contrainte</term><term>Langage déclaratif</term></keywords><keywords scheme="Wicri" type="topic" xml:lang="fr"><term>Langage de programmation</term></keywords></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">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.</div></front></TEI></INIST><ISTEX><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems</title><author><name sortKey="Bockmayr, Alexander" sort="Bockmayr, Alexander" uniqKey="Bockmayr A" first="Alexander" last="Bockmayr">Alexander Bockmayr</name></author><author><name sortKey="Courtois, Arnaud" sort="Courtois, Arnaud" uniqKey="Courtois A" first="Arnaud" last="Courtois">Arnaud Courtois</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:27607741D9842DF137124406CFD567A4A475C234</idno><date when="2002" year="2002">2002</date><idno type="doi">10.1007/3-540-45619-8_7</idno><idno type="url">https://api.istex.fr/ark:/67375/HCB-VX9LSDV2-N/fulltext.pdf</idno><idno type="wicri:Area/Istex/Corpus">000902</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">000902</idno><idno type="wicri:Area/Istex/Curation">000897</idno><idno type="wicri:Area/Istex/Checkpoint">001B60</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">001B60</idno><idno type="wicri:doubleKey">0302-9743:2002:Bockmayr A:using:hybrid:concurrent</idno><idno type="wicri:Area/Main/Merge">008B80</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems</title><author><name sortKey="Bockmayr, Alexander" sort="Bockmayr, Alexander" uniqKey="Bockmayr A" first="Alexander" last="Bockmayr">Alexander Bockmayr</name><affiliation wicri:level="4"><country xml:lang="fr">France</country><wicri:regionArea>LORIA, Université Henri Poincaré, B.P. 239, F-54506, Vandœuvre-lès-Nancy</wicri:regionArea><placeName><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region><settlement type="city">Vandœuvre-lès-Nancy</settlement></placeName><orgName type="university">Université Henri Poincaré</orgName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">France</country></affiliation></author><author><name sortKey="Courtois, Arnaud" sort="Courtois, Arnaud" uniqKey="Courtois A" first="Arnaud" last="Courtois">Arnaud Courtois</name><affiliation wicri:level="4"><country xml:lang="fr">France</country><wicri:regionArea>LORIA, Université Henri Poincaré, B.P. 239, F-54506, Vandœuvre-lès-Nancy</wicri:regionArea><placeName><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region><settlement type="city">Vandœuvre-lès-Nancy</settlement></placeName><orgName type="university">Université Henri Poincaré</orgName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">France</country></affiliation></author></analytic><monogr></monogr><series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title><idno type="ISSN">0302-9743</idno><idno type="ISSN">0302-9743</idno></series></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">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 [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.</div></front></TEI></ISTEX></double></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Curation
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 008724 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Curation/biblio.hfd -nk 008724 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Curation
|type= RBID
|clé= ISTEX:27607741D9842DF137124406CFD567A4A475C234
|texte= Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems
}}
| This area was generated with Dilib version V0.6.33. |  |