BetaWB: modelling and simulating biological processes

ABSTRACT

This paper presents BetaWB, a framework for modelling and simulating biological processes. The modelling language is based on β-binders, a process calculus developed for better representing biological interactions. In order to provide efficient and accurate stochastic simulation, a new stochastic selection algorithm, based on the Gillespie assumption, is presented. Moreover, two companion graphical tools for the model development and simulation results analysis are provided.

REFERENCES

• 1: L. Cardelli. Brane calculi. In V. Danos and V. Vincent Schächter, editors, Computational Methods in Systems Biology, International Conference CMSB 2004, Paris, France, May 26--28, 2004, Revised Selected Papers, LNCS, pages 257--278. Springer, 2005.
• 2: P. Degano, D. Prandi, C. Priami, and P. Quaglia. Beta-binders for biological quantitative experiments. In 4rd Int. Workshop on Quantitative Aspects of Programming Languages (QAPL 06), 2006. to appear.
• 3: D. T. Gillespie. Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem., 81(25):2340--2361, 1977.
• 4: A. Phillips and L. Cardelli. A Correct Abstract Machine for the Stochastic Pi-calculus. In BioConcur '04, Workshop on Concurrent Models in Molecular Biology, 2004.
• 5: C. Priami and P. Quaglia. Beta binders for biological interactions. In CMSB, pages 20--33, 2004.
• 6: Corrado Priami , Aviv Regev , Ehud Shapiro , William Silverman, Application of a stochastic name-passing calculus to representation and simulation of molecular processes, Information Processing Letters, v.80 n.1, p.25-31, October 15, 2001 [doi>10.1016/S0020-0190(01)00214-9]
• 7: A. Regev and E. Shapiro. Cells as computation. Nature, 2002.
• 8: A. Regev, W. Silverman, and E. Shapiro. Representation and simulation of biochemical processes using the pi-calculus process algebra. In Proceedings of the Pacific Symposium of Biocomputing 2001, volume 6, pages 459--470, 2001.
• 9: A. Romanel, L. Dematté, and C. Priami. The Beta Workbench. Technical Report TR-3-2007, The Microsoft Research - University of Trento Centre for Computational and Systems Biology, February 2007.
• 10: Vincent Danos , Cosimo Laneve, Formal molecular biology, Theoretical Computer Science, v.325 n.1, p.69-110, 28 September 2004 [doi>10.1016/j.tcs.2004.03.065]
• 11: V. Volterra. Variazioni e Fluttuazioni del Numero d'Individui in Specie Animali Conviventi, pages 1--110. Memorie dela R. Academia Nationale dei Lincei. 1926.

INDEX TERMS

Keywords:
process calculi, stochastic simulation, systems biology