Bio-PEPA: A framework for the modelling and analysis of biological systems

Theoretical Computer Science

Volumn 410, Issue 33-34, 2009, Pages 3065-3084

  Ciocchetta, Federica ^a   Hillston, Jane ^a,b  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

^b Edinburgh is a Centre for Integrative Systems Biology (CISB) funded by BBSRC   (United Kingdom)

Author keywords

Analysis; Biochemical networks; Modelling; Process algebras

Indexed keywords

ANALYSIS; ANALYSIS RESULTS; BIOCHEMICAL NETWORK; BIOCHEMICAL NETWORKS; BIOLOGICAL MODELS; COMPOSITIONAL REPRESENTATION; KINETIC LAW; MODELLING; PERFORMANCE ANALYSIS; PROCESS ALGEBRAS; STRONG BISIMULATION;

BIOLOGICAL SYSTEMS; LINGUISTICS; SET THEORY; STOICHIOMETRY;

ALGEBRA;

EID: 65549101937     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2009.02.037     Document Type: Article

References (53)

1. Arkin A.P., and Rao C.V. Stochastic chemical kinetics and the quasi-steady-state assumption: Application to the Gillespie algorithm. Journal of Chemical Physics 11 (2003) 4999-5010
2. Aziz A., Kanwal K., Singhal V., and Brayton V. Verifying continuous time Markov chains. Proc. 8th International Conference on Computer Aided Verification. CAV'96. LNCS vol. 1102 (1996), Springer 269-276
3. Bornstein B.J., Doyle J.C., Finney A., Funahashi A., Hucka M., Keating S.M., Kitano H., Kovitz B.L., Matthews J., Shapiro B.E., and Schilstra M.J. Evolving a Lingua Franca and associated software infrastructure for computational systems biology: The systems biology markup language (SBML) project. Systems Biology 1 (2004) 41-53
4. Ramsey S., Orrell D., and Bolouri H. Dizzy: Stochastic simulation of large-scale genetic regulatory networks. Journal of Bioinformatics and Computational Biology 3 2 (2005) 415-436
5. Bortolussi L., and Policriti A. Modeling biological systems in stochastic concurrent constraint programming. Constraints 13 1 (2008)
6. Bortolussi L., and Policriti A. Stochastic concurrent constraint programming and differential equations. Proc. of 5th International Workshop of Quantitative Aspects of Programming Languages. QAPL 2007. ENTCS vol. 16713 (2007)
7. L. Bortolussi, Constraint-based approaches to stochastic dynamics of biological systems, University of Udine Ph.D. Thesis Series, CS2007/1, 2007
8. Bortolussi L., and Policriti A. Hybrid systems and biology. LNCS vol. 5015 (2008), Springer 424-448 (Chapter for the Tutorial of SFM-08:Bio)
9. Bundschuh R., Hayot F., and Jayaprakash C. Fluctuations and slow variables in genetic networks. Biophysical Journal 84 (2003) 1606-1615
10. M. Calder, S. Gilmore, J. Hillston, Automatically deriving ODEs from process algebra models of signalling pathways, in: Proc. of CMSB'05, 2005, pp. 204-215
11. Calder M., Gilmore S., and Hillston J. Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. Proc. of Bionconcur'04. LNCS vol. 4230 (2006), Springer 1-23 Extended version in T. Comp. Sys. Biology VII
12. Calder M., Duguid A., Gilmore S., and Hillston J. Stronger computational modelling of signalling pathways using both continuous and discrete-space methods. Proc. of CMSB'06. LNCS vol. 4210 (2006), Springer 63-77
13. Calder M., Vyshemirsky V., Gilbert D., and Orton R. Analysis of signalling pathways using continuous time Markov chains. T. Comp. Sys. Biology VI. LNCS vol. 4220 (2006), Springer 44-67
14. Cao Y., Gillespie D.T., and Petzold L. Accelerated stochastic simulation of the stiff enzyme-substrate reaction. Journal of Chemical Physics 123 14 (2005) 144917-144929
15. Baier C., Katoen J.-P., and Hermanns H. Approximate symbolic model checking of continuous-time Markov chains. Proceedings of CONCUR'99. LNCS vol. 1664 (1999), Springer 146-161
16. Cardelli L., Panina E.M., Regev A., Shapiro E., and Silverman W. BioAmbients: An abstraction for biological compartments. Theoretical Computer Science 325 1 (2004) 141-167
17. Chabrier-Rivier N., Fages F., and Soliman S. Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM. Journal of Biological Physics and Chemistry 4 (2004) 64-73
18. F. Ciocchetta, J. Hillston, Bio-PEPA: A framework for the modelling and analysis of biological systems, Technical report EDI-INF-RR-1231, University of Edinburgh, 2008
19. Ciocchetta F., and Hillston J. Bio-PEPA: An extension of the process algebra PEPA for biochemical networks. Proc. of FBTC 2007. ENTCS vol. 194(3) (2008) 103-117
20. F. Ciocchetta, S. Gilmore, M.L. Guerriero, J. Hillston, Integrated simulation and model-checking for the analysis of biochemical systems, in: Proc. of PASM 2008, in: ENTCS (in press)
21. Ciocchetta F., and Guerriero M.L. Modelling biological compartments in Bio-PEPA. Proc. of MeCBIC 2008. ENTCS vol. 227 (2009) 77-95
22. F. Ciocchetta, A. Degasperi, J. Hillston, M. Calder, Some investigations concerning the CTMC and the ODE model derived from Bio-PEPA, in: Proc. of FBTC 2008, in: Electronic Notes in Theoretical Computer Science (ENTCS), vol. 229 (1), 2009, pp. 145-163
23. Ciocchetta F., and Priami C. Biological transactions for quantitative models. Proc. of MeCBIC 2006. ENTCS 171(2) (2007) 55-67
24. Ciocchetta F. The BlenX Language with Biological Transactions. Trans. on Comput. Syst. Biol. IX. LNBI vol. 5121 (2008), Springer
25. Ciocchetta F., Priami C., and Quaglia P. Modeling Kohn interaction maps with beta-binders: An example. T. Comp. Sys. Biology. III (2005), Springer 33-48
26. Costantin G., Laudanna C., Lecca P., Priami C., Quaglia P., and Rossi B. Language modeling and simulation of autoreactive lymphocytes recruitment in inflamed brain vessels. SIMULATION: Transactions of The Society for Modeling and Simulation International 80 (2003) 273-288
27. Danos V., and Laneve C. Formal molecular biology. Theoretical Computer Science 325 1 (2004) 69-110
28. Danos V., Feret J., Fontana W., Harmer R., and Krivine J. Ruled-based modelling of cellular signalling. Proc. of CONCUR'07. LNCS vol. 4703 (2007), Springer
29. V. Danos, J. Feret, W. Fontana, J. Krivine, Scalable simulation of cellular signalling networks, in: Proc. of APLAS'07, 2007
30. V. Danos, J. Feret, W. Fontana, J. Krivine, Abstract interpretation of reachable complexes in biological signalling networks, in: Proc. of VMCAI'08, in: LNCS, Springer, 2008, pp. 83-97, http://dx.doi.org/10.1007/978-3-540-78163-9_11
31. V. Danos, J. Krivine, Formal molecular biology done in CCS-R, in: Proc. of BioConcur'03, 2003
32. Dematté L., Priami C., and Romanel A. Modelling and simulation of biological processes in BlenX. SIGMETRICS Performance Evaluation Review 35 4 (2008) 32-39
33. Dematté L., Priami C., and Romanel A. The BlenX language: A tutorial. LNCS vol. 5015 (2008), Springer 313-365 (Chapter for the Tutorial of SFM-08:Bio)
34. Eichler-Jonsson C., Gilles E.D., Muller G., and Schoeberl B. Computational modeling of the dynamics of the MAP kinase cascade activated by surface and internalized EGF receptors. Nature Biotechnology 20 (2002) 370-375
35. Geisweiller N., Hillston J., and Stenico M. Relating continuous and discrete PEPA models of signalling pathways. Theoretical Computer Science 404 1-2 (2008) 97-111
36. Gillespie D.T. Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry 81 (1977) 2340-2361
37. Heath J., Kwiatkowska M., Norman G., Parker D., and Tymchyshyn O. Probabilistic model checking of complex biological pathways. Theoretical Computer Science 391 (2008) 239-257 (special issue on Converging Sciences: Informatics and Biology)
38. Hillston J. A Compositional Approach to Performance Modelling (1996), Cambridge University Press
39. Kanehisa M. A database for post-genome analysis. Trends in Genetics 13 (1997) 375-376
40. KEGG home page. Available at http://sbml.org/kegg2sbml.html
41. Kierzek A.M., and Puchalka J. Bridging the gap between stochastic and deterministic regimes in the kinetic simulations of the biochemical reaction networks. Biophysical Journal 86 (2004) 1357-1372
42. Kuttler C., and Niehren J. Gene regulation in the π-calculus: Simulating cooperativity at the lambda switch. Transactions on Computational Systems Biology VII. LNCS vol. 4230 (2006), Springer 24-55
43. NuMSV model checker. Available at http://nusmv.irst.itc.it
44. Laneve C., and Tarissan F. A simple calculus for proteins and cells. ENTCS vol. 180(3) (2007) 139-154
45. Le Novére N., Bornstein B., Broicher A., Courtot M., Donizelli M., Dharuri H., Li L., Sauro H., Schilstra M., Shapiro B., Snoep J.L., and Hucka M. BioModels database: A free centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems. Nucleic Acids Research 34 (2006) D689-D691
46. Priami C., and Quaglia P. Beta-binders for biological interactions. Proc. of CMSB'04. LNCS vol. 3082 (2005), Springer 20-33
47. Priami C., Regev A., Silverman W., and Shapiro E. Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters 80 (2001) 25-31
48. Prism web site. http://www.prismmodelchecker.org/
49. BIOSPI Project. Available at http://www.wisdom.weizmann.ac.il/biospi/
50. SPIM, The stochastic Pi-Machine. Available at www.doc.ic.ac.uk/anp/spim/
51. The Kappa Factory. http://www.lix.polytechnique.fr/~krivine/kappaFactory.html
52. Segel I.H. Enzyme Kinetics: Behaviour and Analysis of Rapid Equilibrium and Steady-State Enzyme Systems (1993), Wiley-Interscience, New-York
53. Wolkenhauer O., Ullah M., Kolch W., and Cho K.H. Modelling and simulation of intracellular dynamics: Choosing an appropriate framework. IEEE Transactions on NanoBioScience 3 (2004) 200-207