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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Asthagiri, A.R., Lauffenburger, D.A.: Bioengineering models of cell signaling. Annual Review of Biomedical Engineering 2, 31–53 (2000)
Chiarugi, D., Falaschi, M., Olarte, C., Palamidessi, C.: Compositional modelling of signalling pathways in timed concurrent constraint programming. In: Proc.of ACM BCB 2010, pp. 414–417. ACM, New York (2010)
Chiarugi, D., Hermith, D., Falaschi, M., Olarte, C.: Bioways: A ccp-based tool for simulating biological systems, http://www.dianahermith.com/bioways/
Csercsika, D., Hangosa, K.M., Nagy, G.M.: A simple reaction kinetic model of rapid (g protein dependent) and slow (betha-arrestin dependent) transmission. Journal of Theoretical Biology 255(1), 119–128 (2008)
Filmore, D.: Cell-based screening assays and structural studies are fueling g-protein coupled receptors as one of the most popular classes of investigational drug targets. Modern Drug Discovery 7(11) (2004)
Gupta, V., Jagadeesan, R., Saraswat, V.A.: Probabilistic concurrent constraint programming. In: Mazurkiewicz, A., Winkowski, J. (eds.) CONCUR 1997. LNCS, vol. 1243, Springer, Heidelberg (1997)
Horton, R., Moran, L.A., Perry, G.S.M., Rawn, D.: Principles of Biochemistry, 4th edn. Prentice Hall, Englewood Cliffs (2006)
Katanaev, V.L., Chornomorets, M.: Kinetic diversity in g-protein-coupled receptor signalling. Biochem. J. 401(2), 485–495 (2006)
Klipp, E., Liebermeister, W.: Mathematical modeling of intracellular signaling pathways. BMC Neurosciences 7(1), 1–16 (2006)
Milner, R.: Communicating and Mobile Systems: the Pi-Calculus. Cambridge University Press, Cambridge (1999)
Nielsen, M., Palamidessi, C., Valencia, F.D.: Temporal concurrent constraint programming: Denotation, logic and applications. Nordic Journal of Computing 9(1) (2002)
Riccobene, T.A., Omann, G.M., Linderman, J.J.: Modeling activation and desensitization of g-protein coupled receptors provides insight into ligand efficacy. Journal of Theoretical Biology 200(2), 207–222 (1999)
Sangiorgi, D., Walker, D.: The π-calculus: a Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)
Saraswat, V., Jagadeesan, R., Gupta, V.: Foundations of timed concurrent constraint programming. In: Proc. of LICS 1994. IEEE CS, Los Alamitos (1994)
Saraswat, V.A.: Concurrent Constraint Programming. MIT Press, Cambridge (1993)
Schnell, S., Grima, R., Maini, P.K.: Multiscale modeling in biology. American Scientist 95(1), 134–142 (2007)
Shea, L., Linderman Jennifer, J.: Mechanistic model of g-protein signal transduction, determinants of efficacy and effect of precoupled receptors. Biochem. Pharmacol. 53(4), 519–530 (1997)
Sontag, E.D.: Molecular systems biology and control. Control 11, 396–435; Boolean networks 15 (2005)
Yi, T.-M., Kitano, H., Simon, M.I.: A quantitative characterization of the yeast heterotrimeric g protein cycle. PNAS 100(19), 10764–10769 (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hermith, D., Olarte, C., Rueda, C., Valencia, F.D. (2011). Modeling Cellular Signaling Systems: An Abstraction-Refinement Approach. In: Rocha, M.P., Rodríguez, J.M.C., Fdez-Riverola, F., Valencia, A. (eds) 5th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2011). Advances in Intelligent and Soft Computing, vol 93. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-19914-1_42
Download citation
DOI: https://doi.org/10.1007/978-3-642-19914-1_42
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-19913-4
Online ISBN: 978-3-642-19914-1
eBook Packages: EngineeringEngineering (R0)