Abstract
This paper presents a graphical representation for the stochastic π-calculus, which is formalised by defining a corresponding graphical calculus. The graphical calculus is shown to be reduction equivalent to stochastic π, ensuring that the two calculi have the same expressive power. The graphical representation is used to model a couple of example biological systems, namely a bistable gene network and a mapk signalling cascade. One of the benefits of the representation is its ability to highlight the existence of cycles, which are a key feature of biological systems. Another benefit is its ability to animate interactions between system components, in order to visualise system dynamics. The graphical representation can also be used as a front end to a simulator for the stochastic π-calculus, to help make modelling and simulation of biological systems more accessible to non computer scientists.
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
Andre, C.: Synccharts: A visual representation of reactive behaviors. research report tr95-52, University of Nice, Sophia Antipolis (1995)
Blossey, R., Cardelli, L., Phillips, A.: A compositional approach to the stochastic dynamics of gene networks. Transactions in Computationial Systems Biology 3939, 99–122 (2006)
Elowitz, M.B., Leibler, S.: A synthetic oscillatory network of transcriptional regulators. Nature 403(6767), 335–338 (2000)
Francois, P., Hakim, V.: Design of genetic networks with specified functions by evolution in silico. PNAS 101, 580–585 (2004)
Gansner, E.R., North, S.C.: An open graph visualization system and its applications to software engineering. Software-Practice and Experience, 1–5 (1999)
Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81(25), 2340–2361 (1977)
Harel, D.: Statecharts: A Visual Formalism for Complex Systems. Sci. Comput. Prog. 8, 231–274 (1987)
Huang, C.-Y.F., Ferrel Jr., J.E.: Ultrasensitivity of the mitogen-activated protein kinase cascade. PNAS 93, 10078–10083 (1996)
Lecca, P., Priami, C.: Cell cycle control in eukaryotes: a biospi model. In: BioConcur 2003. ENTCS (2003)
Milner, R.: Pi-nets: A graphical form of π-calculus. In: Sannella, D. (ed.) ESOP 1994. LNCS, vol. 788, pp. 26–42. Springer, Heidelberg (1994)
Milner, R.: Communicating and Mobile Systems: the π-Calculus. Cambridge University Press, Cambridge (1999)
Montanari, U., Pistore, M.: History-dependent automata: An introduction. In: Bernardo, M., Bogliolo, A. (eds.) SFM-Moby 2005. LNCS, vol. 3465, pp. 1–28. Springer, Heidelberg (2005)
Oda, K., Matsuoka, Y., Funahashi, A., Kitano, H.: A comprehensive pathway map of epidermal growth factor receptor signaling. Molecular Systems Biology 1, 1–17 (2005)
Petri, C.A.: Kommunikation mit Automaten. PhD thesis, Bonn: Institut für Instrumentelle Mathematik, Schriften des IIM Nr. 2 (1962); Second Edition: Technical Report RADC-TR-65–377, vol.1(suppl. 1). Griffiss Air Force Base, New York (1966) (English translation)
Phillips, A.: The Stochastic Pi-Machine, Available from: http://www.doc.ic.ac.uk/~anp/spim/
Phillips, A., Cardelli, L.: A correct abstract machine for the stochastic pi-calculus. In: Bioconcur 2004. ENTCS (August 2004)
Phillips, A., Cardelli, L.: A graphical representation for the stochastic pi-calculus. In: Priami, C., Ingólfsdóttir, A., Mishra, B., Riis Nielson, H. (eds.) Transactions on Computational Systems Biology VII. LNCS (LNBI), vol. 4230, pp. 123–152. Springer, Heidelberg (2006)
Priami, C., Regev, A., Shapiro, E., Silverman, W.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters 80, 25–31 (2001)
Priami, C.: Stochastic π-calculus. The Computer Journal 38(6), 578–589 (1995); Proceedings of PAPM 1995 (1995)
Regev, A., Silverman, W., Shapiro, E.: Representation and simulation of biochemical processes using the pi- calculus process algebra. In: Altman, R.B., Dunker, A.K., Hunter, L., Klein, T.E. (eds.) Pacific Symposium on Biocomputing, vol. 6, pp. 459–470. World Scientific, Singapore (2001)
Sangiorgi, D., Walker, D.: The π-calculus: a Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)
Turner, D.N.: The Polymorphic Pi-Calculus: Theory and Implementation. PhD thesis, LFCS (June 1996); CST-126-96 (also published, ECS-LFCS-96-345)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Phillips, A., Cardelli, L., Castagna, G. (2006). A Graphical Representation for Biological Processes in the Stochastic pi-Calculus. In: Priami, C., Ingólfsdóttir, A., Mishra, B., Riis Nielson, H. (eds) Transactions on Computational Systems Biology VII. Lecture Notes in Computer Science(), vol 4230. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11905455_7
Download citation
DOI: https://doi.org/10.1007/11905455_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-48837-8
Online ISBN: 978-3-540-48839-2
eBook Packages: Computer ScienceComputer Science (R0)