• Compositional modelling of sig...

Result: Compositional modelling of signalling pathways in timed concurrent constraint programming

Title:
Compositional modelling of signalling pathways in timed concurrent constraint programming
Authors:
Chiarugi, Davide, Falaschi, Moreno, Olarte, Carlos, Palamidessi, Catuscia
Contributors:
Department of Mathematics and Computer Science / Dipartimento di Scienze Matematiche e Informatiche "Roberto Magari" (DSMI), Università degli Studi di Siena = University of Siena (UNISI), Ambientes VISuales de Progamación Aplicativa (AVISPA Resarch Group), Pontificia Universidad Javeriana (PUJ), Concurrency, Mobility and Transactions (COMETE), Laboratoire d'informatique de l'École polytechnique [Palaiseau] (LIX), École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-École polytechnique (X), Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de l'Institut Polytechnique de Paris, Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
Source:
First ACM International Conference on Bioinformatics and Computational Biology (BCB '10).. :414-417
Publisher Information:
CCSD; ACM, 2010.
Publication Year:
2010
Collection:
collection:X
collection:CNRS
collection:INRIA
collection:LIX
collection:LIX-COMETE
collection:INRIA-SACLAY
collection:X-DEP-INFO
collection:INRIA_TEST
collection:TESTALAIN1
collection:INRIA2
collection:DEPARTEMENT-DE-MATHEMATIQUES
Subject Terms:
[INFO.INFO-BI]Computer Science [cs], Bioinformatics [q-bio.QM], [SDV.BIBS]Life Sciences [q-bio], Quantitative Methods [q-bio.QM]
Subject Geographic:
Niagara Falls, New York, United States
Original Identifier:
HAL: hal-00548213
Document Type:
Conference conferenceObject<br />Conference papers
Language:
English
Relation:
info:eu-repo/semantics/altIdentifier/doi/10.1145/1854776.1854843
DOI:
10.1145/1854776.1854843
Access URL:
https://hal.science/hal-00548213
https://hal.science/hal-00548213v1/document
https://hal.science/hal-00548213v1/file/bio-ntcc-cr.pdf
Rights:
info:eu-repo/semantics/OpenAccess
Accession Number:
edshal.hal.00548213v1
Database:
HAL

Further Information

The biological data regarding the signalling pathways often consider single pathways or a small number of them. We propose a methodology for composing this kind of data in a coherent framework, in order to be able to investigate a bigger number of signalling pathways. We specify a biological system by means of a set of stoichiometric-like equations resembling the essential features of molecular interactions. We represent these equations by a timed concurrent constraint (ntcc) language, which can deal with partial information and the time for a reaction to occur. We describe a freely available prototypical implementation of our framework.