Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach

Abstract : The molecular mechanisms of cell communication with the environment involve many concurrent processes governing dynamically the cell function. This concurrent behavior makes traditional methods, such as differential equations, unsatisfactory as a modeling strategy since they do not scale well when a more detailed view of the system is required. Concurrent Constraint Programming (CCP) is a declarative model of concurrency closely related to logic for specifying reactive systems, i.e., systems that continuously react with the environment. Agents in CCP interact by telling and asking information represented as constraints (e.g., x > 42). In this paper we describe a modeling strategy for cellular signaling systems based on a temporal and probabilistic extension of CCP. Starting from an abstract model, we build refinements adding further details coming from experimentation or abstract assumptions. The advantages of our approach are: due to the notion of partial information as constraints in CCP, the model can be straightforwardly extended when more information is available; qualitative and quantitative information can be represented by means of probabilistic constructs of the language; finally, the model is a runnable specification and can be executed, thus allowing for the simulation of the system. We outline the use of this methodology to model the interaction of G-protein-coupled receptors with their respective G-proteins that activates signaling pathways inside the cell. We also present simulation results obtained from an implementation of the framework
Document type :
Conference papers
Miguel P. Rocha and Juan M. Corchado Rodriguez and Florentino Fdez-Riverola and Alfonso Valencia. PACBB 2011 - 5th International Conference on Practical Applications of Computational Biology & Bioinformatics, Apr 2011, Salamanca, Spain. Springer, 93, pp.321-328, 2011, Advances in Intelligent and Soft Computing. 〈10.1007/ISBN 978-3-642-19913-4〉
Liste complète des métadonnées

Cited literature [19 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00641433
Contributor : Frank D. Valencia <>
Submitted on : Wednesday, November 16, 2011 - 11:53:02 AM
Last modification on : Friday, November 16, 2018 - 2:08:15 AM
Document(s) archivé(s) le : Friday, November 16, 2012 - 11:01:01 AM

File

hermith-paams11-cr.pdf
Files produced by the author(s)

Identifiers

Citation

Diana Hermith, Carlos Olarte, Camilo Rueda, Frank Valencia. Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach. Miguel P. Rocha and Juan M. Corchado Rodriguez and Florentino Fdez-Riverola and Alfonso Valencia. PACBB 2011 - 5th International Conference on Practical Applications of Computational Biology & Bioinformatics, Apr 2011, Salamanca, Spain. Springer, 93, pp.321-328, 2011, Advances in Intelligent and Soft Computing. 〈10.1007/ISBN 978-3-642-19913-4〉. 〈hal-00641433〉

Share

Metrics

Record views

660

Files downloads

354