Design and development of software tools for Bio-PEPA

Proceedings - Winter Simulation Conference

Volumn , Issue , 2009, Pages 956-967

  Duguid, Adam ^a   Gilmore, Stephen ^a   Guerriero, Maria Luisa ^a   Hillston, Jane ^a   Loewe, Laurence ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ANALYSIS RESULTS; ANALYSIS TOOLS; BIOCHEMICAL REACTION NETWORK; CUSTOM SIMULATORS; DESIGN AND DEVELOPMENT; METABOLIC PATHWAYS; MODELLING LANGUAGE; PROCESS ALGEBRAS; RELIABILITY AND ROBUSTNESS; SOFTWARE TOOL;

COMPUTER SOFTWARE; HIGH LEVEL LANGUAGES; LINGUISTICS; MODEL CHECKING; RELIABILITY ANALYSIS;

SOFTWARE DESIGN;

EID: 77951520841     PISSN: 08917736     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WSC.2009.5429725     Document Type: Conference Paper

References (36)

1. Akman, O., F. Ciocchetta, A. Degasperi, and M. L. Guerriero. 2009. Modelling Biological Clocks with Bio-PEPA: Stochasticity and Robustness for the Neurospora Crassa Circadian Network. In CMSB 2009, LNCS.
2. Borghans, J., G. Dupont, and A. Goldbeter. 1997. Complex intracellular calcium oscillations: A theoretical exploration of possible mechanisms. Biophysical Chemistry 66 (1): 25-41. (Pubitemid 27264942)
3. Calder, M., A. Duguid, S. Gilmore, and J. Hillston. 2006. Stronger computational modelling of signalling pathways using both continuous and discrete-state methods. In Proceedings of the Fourth International Conference on Computational Methods in Systems Biology (CMSB 2006), ed. C. Priami, Volume 4210 of Lecture Notes in Computer Science, 63-77. Trento, Italy: Springer. (Pubitemid 44849979)
4. Calder, M., S. Gilmore, and J. Hillston. 2004, August. Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. In Proceedings of the BioConcur Workshop on Concurrent Models in Molecular Biology, ed. A. Ingolfsdottir and H. R. Nielson. London, England. (Pubitemid 351150621)
5. Calder, M., and J. Hillston. 2009. Process algebra modelling styles for biomolecular processes. Transactions on Computational Systems Biology. To appear.
6. Ciocchetta, F. 2009. Bio-PEPA with SBML-like events. TCSB special issue on Computational models for cell processes.
7. Ciocchetta, F., S. Gilmore, M. L. Guerriero, and J. Hillston. 2009. Integrated simulation and model-checking for the analysis of biochemical systems. Electr. Notes Theor. Comput. Sci. 232:17-38.
8. Ciocchetta, F., and M. L. Guerriero. 2009. Modelling Biological Compartments in Bio-PEPA. In Proceedings of the 2nd International Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2008), Volume 227 of ENTCS, 77-95.
9. Ciocchetta, F., and J. Hillston. 2008. Bio-PEPA: An extension of the process algebra PEPA for biochemical networks. Electr. Notes Theor. Comput. Sci. 194 (3): 103-117.
10. Ciocchetta, F., and J. Hillston. 2009. Bio-PEPA: A framework for the modelling and analysis of biological systems. Theoretical Computer Science In Press, Corrected Proof. To appear.
11. Danos, V., J. Feret, W. Fontana, R. Harmer, and J. Krivine. 2007, 3-8 September. Rule-based modelling of cellular signalling. In Proceedings of the Eighteenth International Conference on Concurrency Theory, CONCUR'2007, Lisbon, Portugal, ed. L. Caires and V. Vasconcelos, Volume 4703 of Lecture Notes in Computer Science, 17-41. Lisbon, Portugal: Springer, Berlin, Germany.
12. Degasperi, A., and S. Gilmore. 2008, June. Sensitivity analysis of stochastic models of bistable biochemical reactions. In Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ed. M. Bernardo, P. Degano, and G. Zavattaro, Volume 5016 of Lecture Notes in Computer Science, 1-20: Springer.
13. Edelstein, S., O. Schaad, E. Henry, B. D., and J. Changgeux. 1996, November. A kinetic mechanism for nicotinic acetylcholine receptors based on multiple allosteric transitions. Biological cybernetics 75 (5): 361-379.
14. Faeder, J. R., M. L. Blinov, and W. S. Hlavacek. 2009. Rule-based modeling of biochemical systems with bionetgen. Methods in molecular biology (Clifton, N.J.) 500:113-167.
15. Fages, F., and S. Soliman. 2008, June. Formal cell biology in biocham. In Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ed. M. Bernardo, P. Degano, and G. Zavattaro, Volume 5016 of Lecture Notes in Computer Science, 54-80: Springer.
16. Galpin, V., and J. Hillston. 2009. Equivalence and discretisation in Bio-PEPA. In CMSB, LNCS.
17. Gibson, M., and J. Bruck. 2000. Efficient exact stochastic simulation of chemical systems with many species and many channels. J. Comp. Phys. 104:1876-1889.
18. Gillespie, D. 1977. Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry 81 (25): 2340-2361.
19. Gillespie, D. T. 2008, June. Simulation methods in systems biology. In Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, ed. M. Bernardo, P. Degano, and G. Zavattaro, Volume 5016 of Lecture Notes in Computer Science, 125-167: Springer.
20. Guerriero, M. L. 2009. Qualitative and Quantitative Analysis of a Bio-PEPA Model of the Gp130/JAK/STAT Signalling Pathway. TCSB special issue on Computational models for cell processes.
21. Guerriero, M. L., J. K. Heath, and C. Priami. 2007. An Automated Translation from a Narrative Language for Biological Modelling into Process Algebra. In Proceedings of Computational Methods in Systems Biology (CMSB'07), Volume 4695 of LNCS, 136-151.
22. Heath, J., M. Kwiatkowska, G. Norman, D. Parker, and O. Tymchyshyn. 2008. Probabilistic Model Checking of Complex Biological Pathways. Theoretical Computer Science 319 (3): 239-257.
23. Heiner, M., R. Richter, M. Schwarick, and C. Rohr. 2008, April. Snoopy - a tool to design and execute graph-based formalisms. Petri Net Newsletter 74:8-22.
24. Hillston, J. 1996. A compositional approach to performance modelling. Cambridge University Press.
25. Hindmarsh, A. C., P. N. Brown, K. E. Grant, S. L. Lee, R. Serban, D. E. Shumaker, and C. S. Woodward. 2005. Sundials: Suite of nonlinear and differential/algebraic equation solvers. ACM Transactions on Mathematical Software 31 (3): 363-396. (Pubitemid 43909035)
26. Kitano, H. 2002, November. Computational systems biology. Nature 420:206-210.
27. Kwiatkowska, M., G. Norman, and D. Parker. 2002. PRISM: Probabilistic symbolic model checker. In TOOLS'02, LNCS 2324, 200-204: Springer-Verlag.
28. Li, H., Y. Cao, L. R. Petzold, and D. T. Gillespie. 2008. Algorithms and software for stochastic simulation of biochemical reacting systems. Biotechnology Progress 24 (1): 56-61. (Pubitemid 351231250)
29. Loewe, L. 2009. A framework for evolutionary systems biology. BMC Systems Biology 3:27.
30. Phillips, A. 2009. Symbolic systems biology: Theory and methods, Chapter A Visual Process Calculus for Biology. Jones and Bartlett. In Press.
31. Ramsey, S., D. Orrell, and H. Bolouri. 2005. Dizzy: stochastic simulation of large-scale genetic regulatory networks. J. Bioinf. Comp. Biol. 3 (2): 415-436.
32. Regev, A., and E. Shapiro. 2002, September. Cells as computation. Nature 419 (6905): 343.
33. SBGNtext2BioPEPA. http://csbe.bio.ed.ac.uk/SBGNtext2BioPEPA/index.php.
34. Schoeberl, B., C. Eichler-Jonsson, E. D. Gilles, and G. Müller. 2002, April. Computational modeling of the dynamics of the MAP kinase cascade activated by surface and internalized EGF receptors. Nature Biotechnology 20:370-375.
35. Shampine, L. F., and M. W. Reichelt. 1997. The Matlab ODE suite. SIAM J. Sci. Comput. 18 (1): 1-22.
36. Tribastone, M. 2006, September. The PEPA plug-in project. In Third International Conference on the Quantitative Evaluation of Systems, 53-54: IEEE Computer Society Press.