Abstract
This paper addresses the translation of Systems Biology Mark-Up Language (SBML) Level 2 models of network of biochemical reactions into the Biochemical Stochastic π-calculus (SPI). SBML is XML-based formalism for systems biology, while SPI can describe the concurrency of the different interactions occurring in a network of biochemical stochastic reactions. SPI models can be used for simulation by available computer packages. We present the approach followed in designing a software tool for working biologists that parses an SBML model and performs the unsupervised translation into the process algebra model. To test the correctness of the translation process we present the results obtained by performing simulations of a translated simplified circadian clock model, comparing our results with that obtained with the original differential equation model.
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
Kitano, H.: Systems biology: a brief overview. Science 295, 1662–1664 (2002)
Matsuno, H., Tanaka, Y., Aoshima, H., Doi, A., Matsui, M., Miyano, S.: Biopathways representation and simulation on hybrid functional petri net. Silico Biol. 3(3), 389–404 (2003)
Kam, N., Cohen, I., Harel, D.: The immune system as a reactive system: Modeling t cell activation with statecharts. In: Proc. Symposia on Human-Centric Computing Languages and Environments, pp. 15–22. IEEE Computer Society Press, Los Alamitos (2001)
Kahn, S., Makkena, R., McGeary, F., Decker, K., Gillis, W., Schmidt, C.: A multi-agent system for the quantitative simulation of biological networks. In: Proceedings of the AAMAS 2003, Melbourne, Australia, pp. 385–392 (2003)
Peleg, M., Yeh, I., Altman, R.B.: Modeling biological processes using workflow and petri net models. Bioinformatics 18, 825–837 (2002)
Winter, A., Kullbach, B., Riediger, V.: An overview of the GXL graph exchange language. In: Diehl, S. (ed.) Dagstuhl Seminar 2001. LNCS, vol. 2269, p. 324. Springer, Heidelberg (2002)
The Bioinformatic Sequence Markup Language, http://www.bsml.org
Finney, A., Hucka, M.: Systems biology markup language (sbml) level 2: Structures and facilities for model definitions, Available at: http://www.sbml.org
Hucka, M., Finney, A., Bornstein, B.J., Keating, S.M., Shapiro, B.E., Matthews, J., Kovitz, B.L., Schilstra, M.J., Funahashi, A., Doyle, J.C., Kitano, H.: Evolving a lingua franca and associated software infrastructure for computational systems biology: The systems biology markup language (sbml) project. Systems Biology 1, 41–53 (2004)
Kaneisha, M., Goto, S.: Kegg: Kyoto encyclopaedia of genes and genomes. Nucleic Acid Res. 28, 27–30 (2000)
Priami, C., Regev, A., Shapiro, E., Silvermann, W.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information processing letters 80, 25–31 (2001)
The BioSpi project, http://www.wisdom.weizmann.ac.il/~biospi
Phillips, A., Cardelli, L.: A correct abstract machine 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)
Lecca, P., Priami, C.: Cell cycle control in eukaryotes: a biospi model. Technical Report DIT-03-045, University of Trento (2003)
Regev, A., Silverman, W., Shapiro, B.E.: Representation and simulation of biochemical processes using the pi-calculus process algebra. In: Proceedings of the Pacific Symposium of Biocomputing (PSB 2001), vol. 6, pp. 459–470 (2001)
Kuttler, C., Niehren, J., Blossey, R.: Gene regulation in the pi calculus: Simulating cooperativity at the lambda switch. In: Priami, C., Ingólfsdóttir, A., Mishra, B., Riis Nielson, H. (eds.) Transactions on Computational Systems Biology VII. LNCS (LNBI), vol. 4230, pp. 24–55. Springer, Heidelberg (2006)
Lecca, P., Priami, C., Quaglia, P., Rossi, B., Laudanna, C., Costantin, G.: A stochastic process algebra approach to simulation of autoreactive lymphocyte recruitment. SIMULATION: Transactions of the society for modelling and simulation international 80, 273–288 (2004)
The SBML BioModels Database, http://sbml.org/models.html
Milner, R.: Communicating and Mobile Systems: the π-calculus. Cambridge University Press, Cambridge (1999)
Priami, C.: Stochastic π-calculus. The Computer Journal 38(6), 578–589 (1995)
Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81, 2340–2361 (1977)
Blossey, R., Cardelli, L., Phillips, A.: A compositional approach to the stochastic dynamics of gene networks (2005), Available at: http://www.luca.demon.co.uk/
Vilar, J.M.G., Kueh, H.Y., Barkai, N., Leibler, S.: Mechanisms of noise resistance in genetic oscillators. PNAS 99, 5992–5998 (2002)
The Cellerator Web Site: http://www.cellerator.info/
Shapiro, B.E., Mjolsness, E.D.: Developmental simulations with cellerator. In: Yi, T., Hucka, M., Morohashi, M., Kitano, H. (eds.) Proceedings of the Second International Conference on Systems Biology (ICSB 2001), Omnipress (2001)
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
Eccher, C., Lecca, P. (2006). Translating SBML Models into the Stochastic π-Calculus for Stochastic Simulation. 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_4
Download citation
DOI: https://doi.org/10.1007/11905455_4
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)