Challenges for modeling and simulation methods in systems biology

Proceedings - Winter Simulation Conference

Volumn , Issue , 2006, Pages 1720-1730

  Sauro, Herbert M ^a   Harel, David ^b   Kwiatkowska, Marta ^c   Shaffer, Clifford A ^d   Uhrmacher, Adelinde M ^e   Hucka, Michael ^f   Mendes, Pedro ^g   Strömback, Lena ^h   Tyson, John J ⁱ  

^a KECK GRADUATE INSTITUTE   (United States)

^b WEIZMANN INSTITUTE OF SCIENCE   (Israel)

^c UNIVERSITY OF BIRMINGHAM   (United Kingdom)

^d Virginia Polytechnic Institute and State University   (United States)

^e UNIVERSITY OF ROSTOCK   (Germany)

^f CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

^g VIRGINIA BIOINFORMATICS INSTITUTE   (United States)

^h LINKÖPING UNIVERSITY   (Sweden)

ⁱ VIRGINIA POLYTECHNIC INSTITUTE AND STATE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BIOINFORMATICS; BIOLOGICAL SYSTEMS;

'CURRENT; MODELING AND SIMULATION METHODS; SYSTEMS BIOLOGY;

COMPUTATION THEORY;

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

References (69)

1. Allen, N., C. Shaffer, M. Vass, N. Ramakrishnan, and L. Watson. 2003. Improving the development process for eukaryotic cell cycle models with a modeling support environment. Simulation 79:674-688.
2. Arkin, A., and J. Ross. 1995. Statistical construction of chemical-reaction mechanisms from measured time-series. Journal of Physical Chemistry 99 (3): 970-979.
3. Ashburner, M., C. A. Ball, and J. A. Blake. 2000. Gene ontology: tool for the unification of biology. Nature Genetics 25:25-29.
4. Bader, G., E. Brauner, M. Cary, R. Goldberg, C. Hogue, P. Karp, T. Klein, J. Luciano, D. Marks, N. Maltsev, E. Marland, E. Neumann, S. Paley, J. Rick, A. Regev, A. Rzhetsky, C. Sander, V. Schachter, I. Shah, and J. Zucker. 2005. BioPAX-Biological Pathways Exchange language. Level 1, Version 1.4 documentation. Available on the Internet at 〈http://www.biopax.org〉.
5. BioModels Database Team. 2006. BioModels Database. Available on the Internet at 〈http://www.ebi.ac.uk/biomodels/〉.
6. BioPax 2006. 〈http://www.biopax.org〉.
7. Burrage, K., P. Burrage, N. Hamilton, and T. Tian. 2005. Compute intensive simulations for cellular models. In Parallel Computation for Bioinformatics and Computational Biology, ed. A. Y. Zomaya. Wiley.
8. Chatterjee, K., L. de Alfaro, M. Faella, T. Henzinger, R. Majumdar, and M. Stoelinga. 2006. Quantitative compositional reasoning. In Proceedings of the 3rd International Conference on Quantitative Evaluation of Systems (QEST'06): IEEE CS. To appear.
9. Chen, K., L. Calzone, A. Csikasz-Nagy, F. Cross, B. Novak, and J. Tyson. 2004. Integrative analysis of cell cycle control in budding yeast. Molecular Biology of the Cell 15 (8): 3841-3862.
10. Cobleigh, J., D. Giannakopoulou, and C. Pasareanu. 2003. Learning assumptions for compositional verification. In Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'03), 331-346.
11. Collins, F. S., E. D. Green, and A. E. Guttmacher. 2003. A vision for the future of genomics research: a blueprint for the genomic era. Nature 422:835-847.
12. Conrad, E. 2006. Oscill8. 〈http://oscill8.sourceforge.net/〉.
13. Copasi. 2006. 〈http://www.copasi.org/tiki-index.php〉.
14. Cuellar, A., C. Lloyd, P. Nielsen, D. Bullivant, D. Nickerson, and P. Hunter. 2003. An overview of CellML 1.1, a biological model description language. Simulation: Transactions of the Society for Modeling and Simulation International 79 (12): 740-747.
15. de la Fuente, A., P. Brazhnik, and P. Mendes. 2002. Linking the genes: inferring quantitative gene networks from microarray data. Trends in Genetics 18:395-398.
16. Doedel, E., H. Keller, and J. Kernevez. 1991. Numerical analysis and control of bifurcation problems in finite dimensions. International Journal of Bifurcation and Chaos 1:493-520.
17. Efroni, S., D. Harel, and I. Cohen. 2003. Towards rigorous comprehension of biological complexity: modeling, execution and visualization of thymic T cell maturation. Genome Research 13:2485-2497.
18. Finney, A., M. Hucka, B. Bornstein, S. Keating, B. Shapiro, J. Matthews, B. Kovitz, M. Schilstra, A. Funahashi, J. Doyle, and H. Kitano. 2006. Software infrastructure for effective communication and reuse of computational models. In System Modeling in Cellular Biology, ed. Z. Szallasi, J. Stelling, and V. Periwal, Chapter 17. MIT Press.
19. Fisher, J., N. Piterman, E. Hubbard, M. Stern, and D. Harel. 2005. Computational insights into C. elegans vulval development. Proceedings of the National Academy of Sciences 6 (102): 1951-1956.
20. Gardner, T. S., D. di Bernardo, D. Lorenz, and J. J. Collins. 2003. Inferring genetic networks and identifying compound mode of action via expression profiling. Science 301 (5629): 102-105.
21. Geva-Zatorsky, N., N. Rosenfeld, S. Itzkovitz, R. Milo, A. Sigal, E. Dekel, T. Yarnitzky, Y. Liron, P. Polak, G. Lahav, and U. Alon. 2006. Oscillations and variability in the p53 system. Molecular Systems Biology 2:2006-2006.
22. Harel, D. 2003. A grand challenge for computing: towards full reactive modeling of a multi-cellular animal. Bulletin of the European Association for Theoretical Computer Science (EATCS) (81): 226-235.
23. (Reprinted in Current Trends in Theoretical Computer Science: The Challenge of the New Century, Algorithms and Complexity, Vol I (Paun, Rozenberg and Salomaa, eds.), World Scientific, pp. 559-568, 2004).
24. Harel, D. 2005. A turing-like test for biological modeling. Nature Biotechnology 23:495-496.
25. Hartwell, L. H., J. J. Hopfield, S. Leibler, and A. W. Murray. 1999. From molecular to modular cell biology. Nature 402 (6761 Supplement): C47-C52.
26. Hedley, W., M. Nelson, D. P. Bullivant, and P. Nielson. 2001. A short introduction to CellML. Philosophical Transactions of the Royal Society of London A 359:1073-1089.
27. Hermjakob, H., L. Montecchi-Palazzi, and G. Baden 2004. The HUPO PSI's molecular interaction format - a community standard for the representation of protein interaction data. Nature Biotechnology 22:177-183.
28. Hillston, J. 2005. Process algebras for quantitative analysis. In Proceedings of the Twentieth Annual IEEE Symp. on Logic in Computer Science, LICS 2005, ed. P. Panangaden, 239-248: IEEE Computer Society Press.
29. Hucka, M., A. Finney, and H. M. Sauro. 2003. The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models. Bioinformatics 19:524-531.
30. Hucka, M., A. Finney, H. M. Sauro, H. Bolouri, J. Doyle, H. Kitano, A. Arkin, B. J. Bornstein, D. Bray, A. Cornish-Bowden, A. A. Cuellar, S. Dronov, E. D. Gilles, M. Ginkel, V. Gor, I. I. Goryanin, W. J. Hedley, T. Hodgman, J. H. Hofmeyr, P. J. Hunter, N. Juty, J. L. Kasberger, A. Kremling, U. Kummer, N. Le Novere, L. M. Loew, D. Lucio, P. Mendes, E. Minch, E. D. Mjolsness, Y. Nakayama, M. R. Nelson, P. F. Nielsen, T. Sakurada, J. C. Schaff, B. Shapiro, T. S. Shimizu, H. D. Spence, J. Stelling, K. Takahashi, M. Tomita, J. Wagner, and J. Wang. 2003. The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models. Bioinformatics 19 (4): 524-531.
31. Kaern, M., and R. Weiss. 2006. Synthetic gene regulatory systems. In System Modeling in Cellular BiologyFrom Concepts to Nuts and Bolts, ed. Z. Szallasi, J. Stelling, and V. Periwal, Chapter 13, 269-298. MIT Press.
32. Kam, N., D. Harel, H. Kugler, R. Marelly, A. Pnueli, E. Hubbard, and M. Stern. 2002. Formal modeling of C. elegans development: a scenario-based approach. In Proceedings of the 1st International Workshop on Computational Methods in Systems Biology (ICMSB 2003), Number 2602 in LNCS, 4-20: Springer.
33. (Revised version in Modeling in Molecular Biology (G. Ciobanu and G. Rozenberg, eds.), Springer, Berlin, 2004, pp. 151-173.).
34. Kitano, H. 2002. Systems biology: a brief overview. Science 295 (5560): 1662-1664.
35. Kitano, H., A. Funahashi, Y. Matsuoka, and K. Oda. 2005. Using process diagrams for the graphical representation of biological networks. Nature Biotechnology 23 (8): 961-966.
36. Kumar, S., and J. Feidler. 2003. BioSPICE: A computational infrastructure for integrative biology. OMICS7 (3): 225.
37. Kwiatkowska, M., O. Tymchishyn, G. Norman, E. Gaffney, and J. Heath. 2006. Computational modelling of signalling pathways: comparing simulation, verification and differential equation approaches. In Proceedings of the 2006 Winter Simulation Conference, ed. L. Perrone, F. Wieland, J. Liu, B. Lawson, D. Nicol, and R. Fujimoto. Monterey, California, USA.
38. Lahav, G., N. Rosenfeld, A. Sigal, N. Geva-Zatorsky, A. Levine, M. Elowitz, and U. Alon. 2004. Dynamics of the p53-mdm2 feedback loop in individual cells. Nature Genetics 36 (2): 147-150.
39. Lambrix, P., and H. Tan. 2005. A framework for aligning ontologies. Current Trends in Theoretical Computer Science: The Challenge of the New Century, Algorithms and Complexity 3703:17-31.
40. Laubenbacher, R., and B. Stigler. 2004. A computational algebra approach to the reverse engineering of gene regulatory networks. Journal of Theoretical Biology 229 (4): 523-537.
41. Le Novère, N., B. Bornstein, A. Broicher, M. Courtot, M. Donizelli, H. Dharuri, L. Li, H. Sauro, M. Schilstra, B. Shapiro, J. Snoep, and M. Hucka. 2006. BioModels Database: a free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems. Nucleic Acids Research 34 (suppl-1): D689-691.
42. Mendes, P., and D. Kell. 1998. Non-linear optimization of biochemical pathways: applications to metabolic engineering and parameter estimation. Bioinformatics 14:869-883.
43. Newman, M., and M. Girvan. 2004. Finding and evaluating community structure in networks. Physical Review E Statistcal, Nonlinear, and Soft Matter Physics 69 (2 Pt 2): 026113-026113.
44. Novak, B., and J. J. Tyson. 1993. Numerical analysis of a comprehensive model of m-phase control in xenopus oocyte extracts and intact embryos. Journal of Cell Science 106 (Pt 4):1153-1168.
45. Novre, N., A. Finney, M. Hucka, U. Bhalla, F. Campagne, J. Collado-Vides, E. Crampin, M. Halstead, E. Klipp, P. Mendes, P. Nielsen, H. Sauro, B. Shapiro, J. Snoep, H. Spence, and B. Wanner. 2005. Minimum information requested in the annotation of biochemical models (MIRIAM). Nature Biotechnology 23 (12): 1509-1515.
46. OBO. 2006. Open biomedical ontologies. 〈http://obo.sourceforge. net〉.
47. Overstreet, C. M., R. E. Nance, and O. Balci. 2002. Issues in enhancing model reuse. In International Conference on Grand Challenges for Modeling and Simulation. San Antonio, Texas, USA.
48. Panning, T., L. Watson, N. Allen, C. Shaffer, and J. Tyson. 2006. Deterministic parallel global parameter estimation for a model of the budding yeast cell cycle. In Proceedings of the 2006 High Performance Computing Symposium (HPC'06), 195-201.
49. Pnueli, A. 1985. In transition from global to modular temporal reasoning about programs. 123-144. New York: Springer-Verlag.
50. Priami, C., A. Regev, E. Shapiro, and W. Silverman. 2001. Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters 80:25-31.
51. Quackenbush, J. 2006. Top-down standards will not serve systems biology. Nature 440:24.
52. Regev, A., and E. Shapiro. 2004. The pi-calculus as an abstraction for biomolecular systems. In Modelling in Molecular Biology, 219-266. Springer.
53. Rutten, J., M. Kwiatkowska, G. Norman, and D. Parker. 2004. Mathematical techniques for analyzing concurrent and probabilistic systems, ed. P. Panangaden and F. van Breugel, Volume 23 of CRM Monograph Series. American Mathematical Society.
54. Sauro, H. M., M. Hucka, A. Finney, C. Wellock, H. Bolouri, J. Doyle, and H. Kitano. 2003. Next generation simulation tools: the systems biology workbench and BioSPICE integration. OMICS 7(4):355-372.
55. SBGN Team. 2006. The Systems Biology Graphical Notation (SBGN). Available on the Internet at 〈http://www.sbgn.org〉.
56. Sha, W., J. Moore, K. Chen, A. Lassaletta, C. Yi, J. Tyson, and J. Sible. 2003. Hysteresis drives cell-cycle transitions in xenopus laevis egg extracts. Proceedings of the National Academy of Sciences 100 (3): 975-980.
57. Shaffer, C., R. Randhawa, and J. Tyson. 2006. The role of composition and aggregation in modeling macromolecular regulatory networks. In Proceedings of the 2006 Winter Simulation Conference, ed. L. Perrone, F. Wieland, J. Liu, B. Lawson, D. Nicol, and R. Fujimoto. Monterey, California, USA.
58. Strömbäck, L. 2005. Possibilities and challenges using XML technology for storage and integration of molecular interactions. In Proceedings of the Sixteenth International Workshop on Database and Expert Systems Applications, 575-579. Denmark, Copenhagen.
59. Strömbäck, L. 2006. A method for alignment of standardised XML information within systems biology. In Proceedings of the 2006 Winter Simulation Conference, ed. L. Perrone, F. Wieland, J. Liu, B. Lawson, D. Nicol, and R. Fujimoto. Monterey, California, USA.
60. Strömbäck, L., and D. Hall. 2006. An evaluation of the use of XML for representation, querying, and analysis of molecular interactions. In Proceedings of the 2006 Winter Simulation Conference, ed. L. Perrone, F. Wieland, J. Liu, B. Lawson, D. Nicol, and R. Fujimoto.
61. Strömbäck, L., and P. Lambrix. 2005. Representations of molecular pathways: an evaluation of SBML, PSI MI, and BioPAX. Bioinformatics 21:4401-4407.
62. Swerdlin, N., I. Cohen, and D. Harel. 2006. Towards an in-silico lymph node: a realistic approach to modeling dynamic behavior of lymphocytes. Submitted.
63. Takahashi, K., K. Kaizu, B. Hu, and M. Tomita. 2004. A multi-algorithm, multi-timescale method for cell simulation. Bioinformatics 20 (4): 538-546.
64. Talcott, C. 2006. Pathway logic: a logical approach to modeling cellular processes. In Proceedings of the 2006 Winter Simulation Conference, ed. L. Perrone, F. Wieland, J. Liu, B. Lawson, D. Nicol, and R. Fujimoto. Monterey, California, USA.
65. Tyson, J., K. C. Chen, and B. Novak. 2003. Sniffers, buzzers, toggles and blinkers: dynamics of regulatory and signaling pathways in the cell. Current Opinion in Cell Biology 15:221-231.
66. Uhrmacher, A., D. Degenring, and B. Zeigler. 2005. Discrete event multi-level models for systems biology. Transactions on Computational Systems Biology 1:66-89.
67. Vass, M., C. Shaffer, N. Ramakrishnan, L. Watson, and J. Tyson. 2006. The JigCell model builder: a spread-sheet interface for creating biochemical reaction network models. IEEE/ACM Transactions on Computational Biology and Bioinformatics 3:155-164.
68. Wolf, D. M., and A. P. Arkin. 2003. Motifs, modules and games in bacteria. Current Opinion in Microbiology 6:125-34.
69. Zwolak, J. 2006. Parameter estimation tool (PET). Available on the Internet at 〈http://jigcell.biol.vt.edu/parameter.html〉.