Abstract
We introduce a programming language called BlenX. It has been specifically designed and implemented to model and simulate biological systems and is strongly inspired to process calculi. We describe all the features of BlenX together with its supporting tools and show the application of the language on real case studies.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
One of the two boxes (or even both of them, even if it has little meaning) can be a Nil, a fake box that does nothing.
- 2.
Debugging is a computer-related term that refers to the process of finding errors in a program (or a model, in this case) and correcting them.
- 3.
A graph layout is an algorithm that decides, based on some criteria, how to place nodes and vertices in a 2D or 3D space.
- 4.
Layouts and algorithms can be added using a plug-in system, so that more can be easily added.
- 5.
Consider that at the beginning the monomer is free and thus it is in state 1.
References
Alberts B, Johnson A, Lewis J et al (2002) Molecular Biology of the Cell. Garland science, 4th edn. Taylor & Francis Group, LLC, New York
Csikász-Nagy A, Faure A, Larcher R, et al (2009) Analyzing various models of circadian clock and cell cycle coupling. Formal methods in molecular biology. http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=1994
Dematté L, Larcher R (2009) Visualization of BlenX complexes. TR-16-2009 CoSBi
Dematté L, Priami C, Romanel A (2008) The Beta Workbench: a computational tool to study the dynamics of biological systems. Brief Bioinform 9(5):437–449
Gillespie DT (1977) Exact stochastic simulation of coupled chemical reactions. J Chem Phys 81:2340–2361
Hood L, Galas D (2003) The digital code of DNA. Nature 421:444–448
Kitano H (2002) Systems biology: a brief overview. Science 295:1662–1664
Larcher R, Priami C, Romanel A (2010) Modelling self-assembly in BlenX. Trans Comput Syst Biol XII LNCS 5945:163–198, Springer New York
Lecca P, Priami C (2007) Cell cycle control in eukaryotes: a BioSpi model. Electr Notes Theor Comp Sci 180(3):51–63
Milner R (1989) Communication and Concurrency. Prentice-Hall, Inc., Upper Saddle River, NJ
Mura I, Csikász-Nagy A (2008) Stochastic Petri Net extension of a yeast cell cycle model. J Theor Biol 254(4): 850–860
Novák B, Tyson JJ (2003) Cell cycle controls. In: Computational cell biology. Springer, New York, NY, pp 261–284
Palmisano A, Mura I, Priami C (2009) From Odes to Language-based, executable models of biological systems. In: Proceedings of pacific symposium on biocomputing 2009 (PSB 2009). The Big Island of Hawaii
Priami C (1995) The stochastic pi-calculus. Comp J 38(6):578–589
Priami C (2009) Algorithmic systems biology. Comm ACM 52(5):80–88
Priami C, Quaglia P (2005) Beta Binders for biological interactions. In CMSB04, LNBI 3082:21–34
Romanel A, Priami C (2008) On the decidability and complexity of the structural congruence for Beta-binders. Theor Comp Sci 404(1–2):156–169
Sandip K, Bauman WT, Paul MR et al (2009) Exploring the roles of noise in the eukaryotic cell cycle. Proc Natl Acad Sci 106(16):6471–6476
Sangiorgi D, Walker D (2003) The pi-calculus: a theory of mobile processes. Cambridge University Press, Cambridge, MA
Steuer R (2004) Effects of stochasticity in models of the cell cycle: from quantized cycle times to noise-induced oscillations. J Theor Biol 228(3):293–301
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer Science+Business Media, LLC
About this chapter
Cite this chapter
Dematté, L., Larcher, R., Palmisano, A., Priami, C., Romanel, A. (2010). Programming Biology in BlenX. In: Choi, S. (eds) Systems Biology for Signaling Networks. Systems Biology. Springer, New York, NY. https://doi.org/10.1007/978-1-4419-5797-9_31
Download citation
DOI: https://doi.org/10.1007/978-1-4419-5797-9_31
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4419-5796-2
Online ISBN: 978-1-4419-5797-9
eBook Packages: Biomedical and Life SciencesBiomedical and Life Sciences (R0)