Biocharts: A visual formalism for complex biological systems

Journal of the Royal Society Interface

Volumn 7, Issue 48, 2010, Pages 1015-1024

  Kugler, Hillel ^a   Larjo, Antti ^b   Harel, David ^c  

^a MICROSOFT RESEARCH   (United Kingdom)

^b TAMPERE UNIVERSITY OF TECHNOLOGY   (Finland)

^c WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

Bacterial chemotaxis; Biological modelling; Metabolism; Multi scale modelling; Statecharts

Indexed keywords

BACTERIA; BACTERIOLOGY; BIOCHEMISTRY; BIOLOGICAL SYSTEMS; LINGUISTICS; METABOLISM; QUERY LANGUAGES;

BACTERIAL CHEMOTAXIS; BIOLOGICAL MODELLING; BIOLOGICAL NETWORKS; COMPLEX BIOLOGICAL SYSTEMS; COMPUTATIONAL MODELLING; EXECUTABLE MODEL; LOW-LEVEL DYNAMICS; MULTI-SCALE MODELLING; STANDARD METHOD; STATECHARTS; VISUAL FORMALISM; VISUAL LANGUAGE;

HIGH LEVEL LANGUAGES;

AUDIOVISUAL EQUIPMENT; BIOCHART; BIOMEDICAL ENGINEERING; CHEMOTAXIS; COMPREHENSION; COMPUTER MODEL; COMPUTER PROGRAM; NONHUMAN; REVIEW; SYSTEMS BIOLOGY;

EID: 77954510016     PISSN: 17425689     EISSN: 17425662     Source Type: Journal    
DOI: 10.1098/rsif.2009.0457     Document Type: Review

References (39)

1. Adler, J. 1966 Chemotaxis in bacteria. Science 153, 708-716. (doi:10.1126/science.153.3737.708)
2. Alon, U., Surette, M., Barkai, N. & Leibler, S. 1999 Robustness in bacterial chemotaxis. Nature 397, 168-171. (doi:10.1038/16483)
3. Asakura, S. & Honda, H. 1984 Two-state model for bacterial chemoreceptor proteins. The role of multiple methylation. J. Mol. Biol. 176, 349-367. (doi:10.1016/0022-2836(84)90494-7)
4. Barkai, N. & Leibler, S. 1997 Robustness in simple biochemical networks. Nature 387, 913-917. (doi:10.1038/43199)
5. Bonarius, H., Schmid, G. & Tramper, J. 1997 Flux analysis of underdetermined metabolic networks: the quest for the missing constraints. Trends Biotechnol. 15, 308-314. (doi:10.1016/S0167-7799(97)01067-6) (Pubitemid 27330626)
6. Ciocchetta, F. & Hillston, J. 2008 Process algebras in systems biology. In Formal methods for computational systems biology. Lecture Notes in Computer Science, no. 5016, pp. 265-312. New York, NY: Springer-Verlag.
7. Damm, W. & Harel, D. 2001 LSCs: breathing life into message sequence charts. Formal Methods Syst. Des. 19, 45-80. (doi:10.1023/A:1011227529550)
8. Edwards, J., Ibarra, R. & Palsson, B. 2001 In silico predictions of Escherichia coli metabolic capabilities are consistent with experimental data. Nat. Biotechnol. 19, 125-130. (doi:10.1038/84379)
9. Efroni, S., Harel, D. & Cohen, I. 2007 Emergent dynamics of thymocyte development and lineage determination. PLoS Comput. Biol. 3, 3-13. (doi:10.1371/journal.pcbi.0030013)
10. Emonet, T., Macal, C., North, M., Wickersham, C. & Cluzel, P. 2005 AgentCell: a digital single-cell assay for bacterial chemotaxis. Bioinformatics 21, 2714-2721. (doi:10.1093/bioinformatics/bti391) (Pubitemid 40852319)
11. Feist, A., Henry, C., Reed, J., Krummenacker, M., Joyce, A., Karp, P., Broadbelt, L., Hatzimanikatis, V. & Palsson, B. 2007 A genome-scale metabolic reconstruction for Escherichia coli K-12 MG1655 that accounts for 1260 ORFs and thermodynamic information. Mol. Syst. Biol. 3, 121. (doi:10.1038/msb4100155)
12. Funahashi, A., Morohashi, M., Kitano, H. & Tanimura, N. 2003 CellDesigner: a process diagram editor for gene-regulatory and biochemical networks. BIOSILICO 1, 159-162. (doi:10.1016/S1478-5382(03)02370-9)
13. Harel, D. 1987 Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8, 231-274. (doi:10.1016/0167-6423(87)90035-9)
14. Harel, D. & Gery, E. 1997 Executable object modeling with statecharts. Computer 30, 31-42. (doi:10.1109/2.596624)
15. Harel, D. & Kugler, H. 2004 The RHAPSODY semantics of statecharts (or, On the executable core of the UML). In Integration of software specification techniques for application in engineering. Lecture Notes in Computer Science, no. 3147, pp. 325-354. New York, NY: Springer-Verlag.
16. Kam, N., Kugler, H., Marelly, R., Appleby, L., Fisher, J., Pnueli, A., Harel, D., Stern, M. & Hubbard, E. 2008 A scenario-based approach to modeling development: a prototype model of C. elegans vulval fate specification. Dev. Biol. 323, 1-5. (doi:10.1016/j.ydbio.2008.07.030)
17. Kitano, H., Funahashi, A., Matsuoka, Y. & Oda, K. 2005 Using process diagrams for the graphical representation of biological networks. Nat. Biotechnol. 23, 961-966. (doi:10.1038/nbt1111)
18. Kohn, K. & Aladjem, M. 2006 Circuit diagrams for biological networks. Mol. Syst. Biol. 2, 2006.0002. (doi:10.1038/msb4100044)
19. Kohn, K., Aladjem, M., Kim, S., Weinstein, J. & Pommier, Y. 2006 Depicting combinatorial complexity with the molecular interaction map notation. Mol. Syst. Biol. 2, 51. (doi:10.1038/msb4100088)
20. Kugler, H., Larjo, A. & Harel, D. 2009 Biocharts: a visual formalism for complex biological systems. See http://research.microsoft.com/Biocharts/.
21. Levin, M., Morton-Firth, C., Abouhamad, W., Bourret, R. & Bray, D. 1998 Origins of individual swimming behavior in bacteria. Biophys. J. 74, 175-181. (doi:10.1016/S0006-3495(98)77777-X) (Pubitemid 28041747)
22. Mahadevan, R., Edwards, J. & Doyle, F. 2002 Dynamic flux balance analysis of diauxic growth in Escherichia coli. Biophys. J. 83, 1331-1340. (doi:10.1016/S0006-3495(02)73903-9) (Pubitemid 34977706)
23. Morton-Firth, C. & Bray, D. 1998 Predicting temporal fluctuations in an intracellular signalling pathway. J. Theor. Biol. 192, 117-128. (doi:10.1006/jtbi.1997.0651)
24. Morton-Firth, C., Shimizu, T. & Bray, D. 1999 A free-energy-based stochastic simulation of the Tar receptor complex. J. Mol. Biol. 286, 1059-1074. (doi:10.1006/jmbi.1999.2535)
25. MSF08 2008 Microsoft Solver Foundation. See http://code. msdn.microsoft.com/solverfoundation.
26. Novère, N. L. & Shimizu, T. 2001 StochSim: modelling of stochastic biomolecular processes. Bioinformatics 17, 575-576. (doi:10.1093/bioinformatics/17.6.575) (Pubitemid 32600510)
27. Novère, N. L. et al. 2009 The systems biology graphical notation. Nat. Biotechnol. 27, 735-741. (doi:10.1038/nbt.1558)
28. Oda, K., Matsuoka, Y., Funahashi, A. & Kitano, H. 2005 A comprehensive pathway map of epidermal growth factor receptor signaling. Mol. Syst. Biol. 1, 2005.0010. (doi:10. 1038/msb4100014)
29. Reddy, V., Liebman, M. & Mavrovouniotis, M. 1996 Qualitative analysis of biochemical reaction systems. Comput. Biol. Med. 26, 9-24. (doi:10.1016/0010-4825(95)00042-9)
30. Regev, A., Silverman, W. & Shapiro, E. 2001 Representation and simulation of biochemical processes using the pi-calculus process algebra. In Pacific Symp. on Biocomputing, pp. 459-470. Singapore: World Scientific.
31. Schellenberg, G. & Furlong, C. 1977 Resolution of the multiplicity of the glutamate and aspartate transport systems of Escherichia coli. J. Biol. Chem. 252, 9055-9064.
32. Schuetz, R., Kuepfer, L. & Sauer, U. 2007 Systematic evaluation of objective functions for predicting intracellular fluxes in Escherichia coli. Mol. Syst. Biol. 3, 119. (doi:10. 1038/msb4100162)
33. Setty, Y., Cohen, I., Dor, Y. & Harel, D. 2008 Four-dimensional realistic modeling of pancreatic organogenesis. Proc. Natl Acad. Sci. USA 105, 20 374-20 379. (doi:10. 1073/pnas.0808725105)
34. Tindall, M., Maini, P., Porter, S. & Armitage, J. 2008a Over-view of mathematical approaches used to model bacterial chemotaxis II: bacterial populations. Bull. Math. Biol. 70, 1570-1607. (doi:10.1007/s11538-008-9322-5)
35. Tindall, M., Porter, S., Maini, P., Gaglia, G. & Armitage, J. 2008b Overview of mathematical approaches used to model bacterial chemotaxis I: the single cell. Bull. Math. Biol. 70, 1525-1569. (doi:10.1007/s11538-008-9321-6)
36. Varma, A. & Palsson, B. O. 1994 Stoichiometric flux balance models quantitatively predict growth and metabolic by-product secretion in wild-type Escherichia coli W311. Appl. Environ. Microbiol. 60, 3724-3731.
37. Wadhams, G. & Armitage, J. 2004 Making sense of it all: bacterial chemotaxis. Nat. Rev. Mol. Cell Biol. 12, 1024-1037. (doi:10.1038/nrm1524)
38. Weis, R. & Koshland, D. 1990 Chemotaxis in Escherichia coli proceeds efficiently from different initial tumble frequencies. J. Bacteriol. 172, 1099-1105. (Pubitemid 20070425)
39. Wong, P., Gladney, S. & Keasling, J. D. 1997 Mathematical model of the lac operon: inducer exclusion, catabolite repression, and diauxic growth on glucose and lactose. Biotechnol. Prog. 13, 132-143. (doi:10.1021/bp970003o)