{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:41:14Z","timestamp":1725514874962},"publisher-location":"Berlin, Heidelberg","reference-count":47,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540684107"},{"type":"electronic","value":"9783540684138"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-68413-8_9","type":"book-chapter","created":{"date-parts":[[2008,6,4]],"date-time":"2008-06-04T08:03:46Z","timestamp":1212566626000},"page":"123-138","source":"Crossref","is-referenced-by-count":4,"title":["One Modelling Formalism & Simulator Is Not Enough! A Perspective for Computational Biology Based on James\u00a0II"],"prefix":"10.1007","author":[{"given":"Adelinde M.","family":"Uhrmacher","sequence":"first","affiliation":[]},{"given":"Jan","family":"Himmelspach","sequence":"additional","affiliation":[]},{"given":"Matthias","family":"Jeschke","sequence":"additional","affiliation":[]},{"given":"Mathias","family":"John","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Leye","sequence":"additional","affiliation":[]},{"given":"Carsten","family":"Maus","sequence":"additional","affiliation":[]},{"given":"Mathias","family":"R\u00f6hl","sequence":"additional","affiliation":[]},{"given":"Roland","family":"Ewald","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"9_CR1","first-page":"217","volume":"3","author":"G. Broderick","year":"2006","unstructured":"Broderick, G., Rubin, E.: The realistic modeling of biological systems: A workshop synopsis. ComPlexUs Modeling in Systems Biology, Social Cognitive and Information Science\u00a03(4), 217\u2013230 (2006)","journal-title":"ComPlexUs Modeling in Systems Biology, Social Cognitive and Information Science"},{"key":"9_CR2","unstructured":"Cardelli, L.: Membrane interactions. In: BioConcur 2003, Workshop on Concurrent Models in Molecular Biology (2003)"},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"44109","DOI":"10.1063\/1.2159468","volume":"124","author":"Y. Cao","year":"2006","unstructured":"Cao, Y., Gillespie, D.T., Petzold, L.R.: Efficient step size selection for the tau-leaping simulation method. J. Chem. Phys.\u00a0124, 044109 (2006)","journal-title":"J. Chem. Phys."},{"issue":"9","key":"9_CR4","doi-asserted-by":"publisher","first-page":"4059","DOI":"10.1063\/1.1778376","volume":"121","author":"Y. Cao","year":"2004","unstructured":"Cao, Y., Li, H., Petzold, L.: Efficient formulation of the stochastic simulation algorithm for chemically reacting systems. The Journal of Chemical Physics\u00a0121(9), 4059\u20134067 (2004)","journal-title":"The Journal of Chemical Physics"},{"issue":"2","key":"9_CR5","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1049\/sb:20045021","volume":"1","author":"J. Elf","year":"2004","unstructured":"Elf, J., Ehrenberg, M.: Spontaneous separation of bi-stable biochemical systems into spatial domains of opposite phases. Syst. Biol (Stevenage)\u00a01(2), 230\u2013236 (2004)","journal-title":"Syst. Biol. (Stevenage)"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Ewald, R., Himmelspach, J., Uhrmacher, A.M.: Embedding a non-fragmenting partitioning algorithm for hierarchical models into the partitioning layer of James II. In: WSC 2006: Proceedings of the 38th conference on Winter simulation (2006)","DOI":"10.1109\/WSC.2006.323167"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Ewald, R., Himmelspach, J., Uhrmacher, A.M.: An algorithm selection approach for simulation systems. In: Proceedings of the 22nd ACM\/IEEE\/SCS Workshop on Principles of Advanced and Distributed Simulation (PADS 2008) (to appear, 2008)","DOI":"10.1109\/PADS.2008.9"},{"issue":"2","key":"9_CR8","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1057\/palgrave.jos.4250018","volume":"1","author":"R. Ewald","year":"2007","unstructured":"Ewald, R., Maus, C., Rolfs, A., Uhrmacher, A.M.: Discrete event modelling and simulation in systems biology. Journal of Simulation\u00a01(2), 81\u201396 (2007)","journal-title":"Journal of Simulation"},{"issue":"5","key":"9_CR9","doi-asserted-by":"publisher","first-page":"1951","DOI":"10.1073\/pnas.0409433102","volume":"102","author":"J. Fisher","year":"2005","unstructured":"Fisher, J., Piterman, N., Hubbard, J., Stern, M., Harel, D.: Computational insights into C. elegans vulval development. PNAS\u00a0102(5), 1951\u20131956 (2005)","journal-title":"PNAS"},{"key":"9_CR10","volume-title":"Handbook of Stochastic Methods: For Physics, Chemistry and the Natural Sciences (Springer Series in Synergetics)","author":"C.W. Gardiner","year":"1996","unstructured":"Gardiner, C.W.: Handbook of Stochastic Methods: For Physics, Chemistry and the Natural Sciences (Springer Series in Synergetics). Springer, Heidelberg (1996)"},{"key":"9_CR11","doi-asserted-by":"crossref","first-page":"1876","DOI":"10.1021\/jp993732q","volume":"104","author":"M.A. Gibson","year":"2000","unstructured":"Gibson, M.A., Bruck, J.: Efficient Exact Stochastic Simulation of Chemical Systems with Many Species and Many Channels. J. Chem. Physics\u00a0104, 1876\u20131889 (2000)","journal-title":"J. Chem. Physics"},{"key":"9_CR12","volume-title":"Design Patterns: elements of reusable object-oriented software","author":"E. Gamma","year":"1995","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: elements of reusable object-oriented software. Addison-Wesley, Reading (1995)"},{"key":"9_CR13","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/978-3-540-75140-3_10","volume-title":"Computational Methods in Systems Biology","author":"M.L. Guerriero","year":"2007","unstructured":"Guerriero, M.L., Heath, J.K., Priami, C.: An automated translation from a narrative language for biological modelling into process algebra. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS (LNBI), vol.\u00a04695, pp. 136\u2013151. Springer, Heidelberg (2007)"},{"issue":"25","key":"9_CR14","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D.T. Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact Stochastic Simulation of Coupled Chemical Reactions. The Journal of Physical Chemistry B\u00a081(25), 2340\u20132361 (1977)","journal-title":"The Journal of Physical Chemistry B"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Gillespie, D.T.: Approximate accelerated stochastic simulation of chemically reacting systems. The Journal of Chemical Physics (2001)","DOI":"10.1063\/1.1378322"},{"issue":"3","key":"9_CR16","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming\u00a08(3), 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"key":"9_CR17","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1109\/PADS.2006.14","volume-title":"20th Workshop on Principles of Advanced and Distributed Simulation (PADS 2006)","author":"J. Himmelspach","year":"2006","unstructured":"Himmelspach, J., Lecca, P., Prandi, D., Priami, C., Quaglia, P., Uhrmacher, A.M.: Developing an hierarchical simulator for beta-binders. In: 20th Workshop on Principles of Advanced and Distributed Simulation (PADS 2006), pp. 92\u2013102. IEEE Computer Society, Los Alamitos (2006)"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Jirstrand, M., Schmidt, H.: Systems biology toolbox for matlab: A computational platform for research in systems biology. Bioinformatics (2005)","DOI":"10.1093\/bioinformatics\/bti799"},{"key":"9_CR19","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1145\/1013329.1013349","volume-title":"ACM Press (ed.): PADS 2004: Proceedings of the eighteenth workshop on Parallel and distributed simulation","author":"J. Himmelspach","year":"2004","unstructured":"Himmelspach, J., Uhrmacher, A.M.: A component-based simulation layer for james. In: ACM Press (ed.): PADS 2004: Proceedings of the eighteenth workshop on Parallel and distributed simulation, pp. 115\u2013122. IEEE Computer Society, Los Alamitos (2004)"},{"key":"9_CR20","unstructured":"Himmelspach, J., Uhrmacher, A.M.: The event queue problem and pdevs. In: Proceedings of the SpringSim 2007, DEVS Integrative M&S Symposium, pp. 257\u2013264. SCS (2007)"},{"key":"9_CR21","first-page":"137","volume-title":"Proceedings of the Spring Simulation Multiconference","author":"J. Himmelspach","year":"2007","unstructured":"Himmelspach, J., Uhrmacher, A.M.: Plug\u2019n simulate. In: Proceedings of the Spring Simulation Multiconference, pp. 137\u2013143. IEEE Computer Society, Los Alamitos (2007)"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Jeschke, M., Ewald, R., Park, A., Fujimoto, R., Uhrmacher, A.M.: Parallel and distributed spatial simulation of chemical reactions. In: Proceedings of the 22nd ACM\/IEEE\/SCS Workshop on Principles of Advanced and Distributed Simulation (PADS 2008) (to appear, 2008)","DOI":"10.1109\/PADS.2008.20"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"John, M., Ewald, R., Uhrmacher, A.M.: A spatial extension to the pi calculus. In: Proc. of the 1st Workshop From Biology To Concurrency and back (FBTC 2007). Electronic Notes in Theoretical Computer Science, vol.\u00a0194, pp. 133\u2013148 (2008)","DOI":"10.1016\/j.entcs.2007.12.010"},{"issue":"3","key":"9_CR24","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1038\/nrm1838","volume":"7","author":"B.N. Kholodenko","year":"2006","unstructured":"Kholodenko, B.N.: Cell-signalling dynamics in time and space. Nature Reviews Molecular Cell Biology\u00a07(3), 165\u2013176 (2006)","journal-title":"Nature Reviews Molecular Cell Biology"},{"key":"9_CR25","unstructured":"Karypis, G., Kumar, V.: MeTis: A Software Package for Partitioning Unstructured Graphs, Partitioning Meshes, and Computing Fill-Reducing Orderings of Sparse Matrices (Version 4.0) (September 1998)"},{"key":"9_CR26","volume-title":"Digital continuous-system simulation","author":"G.A. Korn","year":"1978","unstructured":"Korn, G.A., Wait, J.V.: Digital continuous-system simulation. Prentice-Hall, Englewood Cliffs (1978)"},{"key":"9_CR27","unstructured":"Leye, S., Priami, C., Uhrmacher, A.M.: A parallel beta-binders simulator. Technical Report 17\/2007, The Microsoft Research - University of Trento Centre for Computational and Systems Biology (2007)"},{"key":"9_CR28","unstructured":"Minsky, M.: Models, minds, machines. In: Proc. IFIP Congress, pp. 45\u201349 (1965)"},{"key":"9_CR29","unstructured":"Maus, C., John, M., Uhrmacher, A.M.: A multi-level and multi-formalism approach for model composition in systems biology. In: Conference on Computational Methods in Systems Biology, Edinburgh, Poster (2007)"},{"issue":"4","key":"9_CR30","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE\u00a077(4), 541\u2013574 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"9_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"376","DOI":"10.1007\/3-540-55179-4_36","volume-title":"Computer Aided Verification","author":"X. Nicollin","year":"1992","unstructured":"Nicollin, X., Sifakis, J.: An Overview and Synthesis on Timed Process Algebras. In: Larsen, K.G., Skou, A. (eds.) CAV 1991. LNCS, vol.\u00a0575, pp. 376\u2013398. Springer, Heidelberg (1992)"},{"key":"9_CR32","unstructured":"OMG. UML superstructure specification version 2.0 (document formal\/05-07-04) (July 2005), http:\/\/www.omg.org\/cgi-bin\/doc?formal\/05-07-04"},{"key":"9_CR33","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1007\/978-3-540-25974-9_3","volume-title":"Computational Methods in Systems Biology","author":"C. Priami","year":"2005","unstructured":"Priami, C., Quaglia, P.: Beta binders for biological interactions. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol.\u00a03082, pp. 20\u201333. Springer, Heidelberg (2005)"},{"issue":"6","key":"9_CR34","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1093\/comjnl\/38.7.578","volume":"38","author":"C. Priami","year":"1995","unstructured":"Priami, C.: Stochastic \u03c0-calculus. The Computer Journal\u00a038(6), 578\u2013589 (1995)","journal-title":"The Computer Journal"},{"key":"9_CR35","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/S0020-0190(01)00214-9","volume":"80","author":"C. Priami","year":"2001","unstructured":"Priami, C., Regev, A., Shapiro, E., Silvermann, W.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters\u00a080, 25\u201331 (2001)","journal-title":"Information Processing Letters"},{"key":"9_CR36","doi-asserted-by":"crossref","unstructured":"R\u00f6hl, M., Morgenstern, S.: Composing simulation models using interface definitions based on web service descriptions. In: WSC 2007, pp. 815\u2013822 (2007)","DOI":"10.1109\/WSC.2007.4419677"},{"issue":"13","key":"9_CR37","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1142\/S0219720005001132","volume":"01","author":"S. Ramsey","year":"2005","unstructured":"Ramsey, S., Orrell, D., Bolouri, H.: Dizzy: Stochastic simulation of large scale genetic regulatory networks. Journal of Bioinformatics and Computational Biology\u00a001(13), 415\u2013436 (2005)","journal-title":"Journal of Bioinformatics and Computational Biology"},{"issue":"1","key":"9_CR38","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/j.tcs.2004.03.061","volume":"325","author":"A. Regev","year":"2004","unstructured":"Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.: BioAmbients: an abstraction for biological compartments. Theor. Comput. Sci.\u00a0325(1), 141\u2013167 (2004)","journal-title":"Theor. Comput. Sci."},{"key":"9_CR39","doi-asserted-by":"publisher","first-page":"1083","DOI":"10.1109\/WSC.2006.323198","volume-title":"Proceedings of the Winter Simulation Conference 2006","author":"M. R\u00f6hl","year":"2006","unstructured":"R\u00f6hl, M., Uhrmacher, A.M.: Composing simulations from xml-specified model components. In: Proceedings of the Winter Simulation Conference 2006, pp. 1083\u20131090. ACM, New York (2006)"},{"issue":"10356","key":"9_CR40","doi-asserted-by":"publisher","first-page":"10356","DOI":"10.1063\/1.1810475","volume":"121","author":"T. Tian","year":"2004","unstructured":"Tian, T., Burrage, K.: Binomial leap methods for simulating stochastic chemical kinetics. The Journal of Chemical Physics\u00a0121(10356), 10356\u201310364 (2004)","journal-title":"The Journal of Chemical Physics"},{"key":"9_CR41","doi-asserted-by":"publisher","first-page":"538","DOI":"10.1093\/bioinformatics\/btg442","volume":"20","author":"K. Takahashi","year":"2004","unstructured":"Takahashi, K., Kaizu, K., Hu, B., Tomita, M.: A multi-algorithm, multi-timescale method for cell simulation. Bioinformatics\u00a020, 538\u2013546 (2004)","journal-title":"Bioinformatics"},{"issue":"8","key":"9_CR42","doi-asserted-by":"publisher","first-page":"1783","DOI":"10.1016\/j.febslet.2005.01.072","volume":"579","author":"K. Takahashi","year":"2005","unstructured":"Takahashi, K., Nanda, S., Arjunan, V., Tomita, M.: Space in systems biology of signaling pathways: towards intracellular molecular crowding in silico. FEBS letters\u00a0579(8), 1783\u20131788 (2005)","journal-title":"FEBS letters"},{"key":"9_CR43","doi-asserted-by":"crossref","unstructured":"Uhrmacher, A.M., Ewald, R., John, M., Maus, C., Jeschke, M., Biermann, S.: Combining micro and macro-modeling in devs for computational biology. In: Proc. of the 2007 Winter Simulation Conference, pp. 871\u2013880 (2007)","DOI":"10.1109\/WSC.2007.4419683"},{"issue":"2","key":"9_CR44","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1145\/384169.384173","volume":"11","author":"A.M. Uhrmacher","year":"2001","unstructured":"Uhrmacher, A.M.: Dynamic structures in modeling and simulation - a reflective approach. ACM Transactions on Modeling and Simulation\u00a011(2), 206\u2013232 (2001)","journal-title":"ACM Transactions on Modeling and Simulation"},{"key":"9_CR45","doi-asserted-by":"crossref","unstructured":"Uhrmacher, A.M., Himmelspach, J., R\u00f6hl, M., Ewald, R.: Introducing variable ports and multi-couplings for cell biological modeling in devs. In: Proc. of the 2006 Winter Simulation Conference, pp. 832\u2013840 (2006)","DOI":"10.1109\/WSC.2006.323165"},{"issue":"9","key":"9_CR46","doi-asserted-by":"publisher","first-page":"992","DOI":"10.1002\/anie.199009921","volume":"29","author":"W.F. Gunsteren van","year":"1990","unstructured":"van Gunsteren, W.F., Berendsen, H.J.: Computer simulation of molecular dynamics: Methodology, applications, and perspectives in chemistry. Angewandte Chemie International Edition in English\u00a029(9), 992\u20131023 (1990)","journal-title":"Angewandte Chemie International Edition in English"},{"key":"9_CR47","volume-title":"Theory of Modeling and Simulation","author":"B.P. Zeigler","year":"2000","unstructured":"Zeigler, B.P., Praehofer, H., Kim, T.G.: Theory of Modeling and Simulation. Academic Press, London (2000)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods in Systems Biology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-68413-8_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:51:16Z","timestamp":1620017476000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68413-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540684107","9783540684138"],"references-count":47,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68413-8_9","relation":{},"subject":[]}}