{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T05:16:17Z","timestamp":1738300577983,"version":"3.35.0"},"publisher-location":"Berlin, Heidelberg","reference-count":39,"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_1","type":"book-chapter","created":{"date-parts":[[2008,6,4]],"date-time":"2008-06-04T08:03:46Z","timestamp":1212566626000},"page":"1-16","source":"Crossref","is-referenced-by-count":4,"title":["Generic Reactive Animation: Realistic Modeling of Complex Natural Systems"],"prefix":"10.1007","author":[{"given":"David","family":"Harel","sequence":"first","affiliation":[]},{"given":"Yaki","family":"Setty","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"3D Game Studio, http:\/\/www.3dgamestudio.com"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Amir-Kroll, H., Sadot, A., Cohen, I.R., Harel, D.: GemCell: A Generic Platform for Modeling Multi-Cellular Biological Systems. T. Comp. Sys. Biology (to appear, 2007)","DOI":"10.1016\/j.tcs.2007.11.014"},{"key":"1_CR3","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1016\/j.cell.2006.07.018","volume":"126","author":"J.D. Axelrod","year":"2006","unstructured":"Axelrod, J.D.: Cell Shape in Proliferating Epithelia: A Multifaceted Problem. Cell\u00a0126, 643\u2013645 (2006)","journal-title":"Cell"},{"key":"1_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1007\/978-3-540-27755-2_2","volume-title":"Lectures on Concurrency and Petri Nets","author":"D. Barak","year":"2004","unstructured":"Barak, D., Harel, D., Marelly, R.: InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol.\u00a03098, pp. 66\u201386. Springer, Heidelberg (2004)"},{"key":"1_CR5","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0921-8890(05)80025-9","volume":"6","author":"R.A. Brooks","year":"1990","unstructured":"Brooks, R.A.: Elephants Don\u2019t Play Chess. Robotics and Autonomous Systems\u00a06, 3\u201315 (1990)","journal-title":"Robotics and Autonomous Systems"},{"key":"1_CR6","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/11599128_10","volume":"3","author":"L. Cardelli","year":"2005","unstructured":"Cardelli, L.: Abstract Machines of Systems Biology. T. Comp. Sys. Biology\u00a03, 145\u2013168 (2005)","journal-title":"T. Comp. Sys. Biology"},{"key":"1_CR7","doi-asserted-by":"publisher","first-page":"1243","DOI":"10.1083\/jcb.200306139","volume":"163","author":"A. Ciliberto","year":"2003","unstructured":"Ciliberto, A., Novak, B., Tyson, J.J.: Mathematical Model of the Morphogenesis Checkpoint in Budding Yeast. J. Cell. Biol.\u00a0163, 1243\u20131254 (2003)","journal-title":"J. Cell. Biol."},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1098\/rsif.2006.0173","volume":"4","author":"I.R. Cohen","year":"2007","unstructured":"Cohen, I.R., Harel, D.: Explaining a Complex Living System: Dynamics, Multi-scaling and Emergence. J. R. Soc. Interface\u00a04, 175\u2013182 (2007)","journal-title":"J. R. Soc. Interface"},{"key":"1_CR9","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1023\/A:1011227529550","volume":"19","author":"W. Damm","year":"2001","unstructured":"Damm, W., Harel, D.: LSCs: Breathing Life into Message Sequence Charts. Formal Methods in System Design\u00a019, 45\u201380 (2001)","journal-title":"Formal Methods in System Design"},{"key":"1_CR10","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/MC.2005.31","volume":"38","author":"S. Efroni","year":"2005","unstructured":"Efroni, S., Harel, D., Cohen, I.R.: Reactive Animation: Realistic Modeling of Complex Dynamic Systems. IEEE Computer\u00a038, 38\u201347 (2005)","journal-title":"IEEE Computer"},{"key":"1_CR11","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1371\/journal.pcbi.0030013","volume":"3","author":"S. Efroni","year":"2007","unstructured":"Efroni, S., Harel, D., Cohen, I.R.: Emergent Dynamics of Thymocyte Development and Lineage Determination. PLoS Comput. Biol.\u00a03, 13 (2007)","journal-title":"PLoS Comput. Biol."},{"key":"1_CR12","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1109\/MC.2004.1297236","volume":"37","author":"A. Finkelstein","year":"2004","unstructured":"Finkelstein, A., Hetherington, J., Li, L., Margoninski, O., Saffrey, P., Seymour, R., Warner, A.: Computational Challenges of Systems Biology. IEEE Computer\u00a037, 26\u201333 (2004)","journal-title":"IEEE Computer"},{"key":"1_CR13","doi-asserted-by":"publisher","first-page":"1239","DOI":"10.1038\/nbt1356","volume":"25","author":"J. Fisher","year":"2007","unstructured":"Fisher, J., Henzinger, T.A.: Executable cell biology. Nat. Biotechnol.\u00a025, 1239\u20131249 (2007)","journal-title":"Nat. Biotechnol."},{"key":"1_CR14","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1049\/sb:20045019","volume":"1","author":"R. Ghosh","year":"2004","unstructured":"Ghosh, R., Tomlin, C.: Symbolic Reachable Set Computation of Piecewise Affine Hybrid Automata and its Application to Biological Modelling: Delta-Notch Protein Signalling. Syst. Biol (Stevenage)\u00a01, 170\u2013183 (2004)","journal-title":"Syst. Biol. (Stevenage)"},{"key":"1_CR15","doi-asserted-by":"publisher","first-page":"1038","DOI":"10.1038\/nature05014","volume":"442","author":"M.C. Gibson","year":"2006","unstructured":"Gibson, M.C., Patel, A.B., Nagpal, R., Perrimon, N.: The emergence of geometric order in proliferating metazoan epithelia. Nature\u00a0442, 1038\u20131041 (2006)","journal-title":"Nature"},{"key":"1_CR16","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1007\/978-94-009-6259-0_10","volume-title":"Handbook of Philosophical Logic","author":"D. Harel","year":"1984","unstructured":"Harel, D.: Dynamic Logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol.\u00a02, pp. 497\u2013604. Reidel, Dordrecht (1984)"},{"key":"1_CR17","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. Sci. Comput. Programming\u00a08, 231\u2013274 (1987)","journal-title":"Sci. Comput. Programming"},{"key":"1_CR18","first-page":"226","volume":"81","author":"D. Harel","year":"2003","unstructured":"Harel, D.: A Grand Challenge for Computing: Full Reactive Modeling of a Multi-Cellular Animal. Bulletin of the EATCS\u00a081, 226\u2013235 (2003)","journal-title":"Bulletin of the EATCS"},{"key":"1_CR19","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1038\/nbt0405-495","volume":"23","author":"D. Harel","year":"2005","unstructured":"Harel, D.: A Turing-like test for biological modeling. Nat. Biotechnol.\u00a023, 495\u2013496 (2005)","journal-title":"Nat. Biotechnol."},{"key":"1_CR20","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1109\/2.596624","volume":"30","author":"D. Harel","year":"1997","unstructured":"Harel, D., Gery, E.: Executable Object Modeling with Statecharts. IEEE Computer\u00a030, 31\u201342 (1997)","journal-title":"IEEE Computer"},{"key":"1_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-540-71289-3_11","volume-title":"Fundamental Approaches to Software Engineering","author":"D. Harel","year":"2007","unstructured":"Harel, D., Kleinbort, A., Maoz, S.: S2A: A Compiler for Multi-modal UML Sequence Diagrams. In: Dwyer, M.B., Lopes, A. (eds.) FASE 2007. LNCS, vol.\u00a04422, pp. 121\u2013124. Springer, Heidelberg (2007)"},{"key":"1_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19029-2","volume-title":"Come, Let\u2019s Play: Scenario-Based Programming Using LSCs and the Play-Engine","author":"D. Harel","year":"2003","unstructured":"Harel, D., Marelly, R.: Come, Let\u2019s Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003)"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Harel, D., Pnueli, A.: On the Development of Reactive Systems. In: Apt, K.R. (ed.) Logics and Models of Concurrent Systems. NATO ASI Series, vol.\u00a0F-13, pp. 477\u2013498 (1985)","DOI":"10.1007\/978-3-642-82453-1_17"},{"key":"1_CR24","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/11885191_3","volume-title":"Computational Methods in Systems Biology","author":"J. Heath","year":"2006","unstructured":"Heath, J., Kwiatkowska, M., Norman, G., Parker, D., Tymchyshyn, O.: Probabilistic Model Checking of Complex Biological Pathways. In: Priami, C. (ed.) CMSB 2006. LNCS (LNBI), vol.\u00a04210, pp. 32\u201347. Springer, Heidelberg (2006)"},{"key":"1_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/3-540-36481-1_2","volume-title":"Computational Methods in Systems Biology","author":"N. Kam","year":"2003","unstructured":"Kam, N., Harel, D., Kugler, H., Marelly, R., Pnueli, A., Hubbard, E.J.A., Stern, M.: Formal Modeling of C. elegans Development: A Scenario-Based Approach. In: Priami, C. (ed.) CMSB 2003. LNCS, vol.\u00a02602, pp. 4\u201320. Springer, Heidelberg (2003)"},{"key":"1_CR26","unstructured":"Kam, N., Kugler, H., Appleby, L., Pnueli, A., Harel, D., Stern, M.J., Hubbard, E.J.A.: A scenario-based approach to modeling development (I): Rationale, hypothesis testing, simulations and experimental follow-up (submitted, 2007)"},{"key":"1_CR27","unstructured":"Kugler, H., Kam, N., Marelly, R., Appleby, L., Pnueli, A., Harel, D., Stern, M.J., Hubbard, E.J.A.: A scenario-based approach to modeling development (II): A prototype model of C. elegans vulval cell fate specification (submitted, 2007)"},{"key":"1_CR28","unstructured":"The MathWorks, http:\/\/www.mathworks.com"},{"key":"1_CR29","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1126\/science.1131000","volume":"314","author":"C.M. Nelson","year":"2006","unstructured":"Nelson, C.M., Vanduijn, M.M., Inman, J.L., Fletcher, D.A., Bissell, M.J.: Tissue geometry determines sites of mammary branching morphogenesis in organotypic cultures. Science\u00a0314, 298\u2013300 (2006)","journal-title":"Science"},{"key":"1_CR30","doi-asserted-by":"publisher","first-page":"539","DOI":"10.1042\/BST0330539","volume":"33","author":"D. Noble","year":"2005","unstructured":"Noble, D.: The heart is already working. Biochem. Soc. Trans.\u00a033, 539\u2013542 (2005)","journal-title":"Biochem. Soc. Trans."},{"key":"1_CR31","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1093\/bib\/5.3.259","volume":"5","author":"C. Priami","year":"2004","unstructured":"Priami, C., Quaglia, P.: Modelling the dynamics of biosystems. Briefings in Bioinformatics\u00a05, 259\u2013269 (2004)","journal-title":"Briefings in Bioinformatics"},{"key":"1_CR32","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1038\/419343a","volume":"419","author":"A. Regev","year":"2002","unstructured":"Regev, A., Shapiro, E.: Cellular abstractions: Cells as computation. Nature\u00a0419, 343 (2002)","journal-title":"Nature"},{"key":"1_CR33","doi-asserted-by":"crossref","unstructured":"Regev, A., Silverman, W., Shapiro, E.: Representation and simulation of biochemical processes using the pi-calculus process algebra. In: Pacific Symposium on Biocomputing, pp. 459\u2013470 (2001)","DOI":"10.1142\/9789814447362_0045"},{"key":"1_CR34","doi-asserted-by":"crossref","unstructured":"Roux-Rouqui\u00e9, M., da Rosa, D.S.: Ten Top Reasons for Systems Biology to Get into Model-Driven Engineering. In: GaMMa 2006: Proc. of the 2006 international workshop on Global integrated model management, pp. 55\u201358 (2006)","DOI":"10.1145\/1138304.1138316"},{"key":"1_CR35","doi-asserted-by":"crossref","unstructured":"Sadot, A., Fisher, J., Barak, D., Admanit, Y., Stern, M.J., Hubbard, E.J.A., Harel, D.: Towards Verified Biological Models. IEEE\/ACM Trans. Comput. Biology and Bioinformatics (to appear, 2007)","DOI":"10.1109\/TCBB.2007.1076"},{"key":"1_CR36","doi-asserted-by":"crossref","unstructured":"Setty, Y., Cohen, I.R., Dor, Y., Harel, D.: Four-Dimensional Realistic Modeling of Pancreatic Organogenesis (submitted, 2007)","DOI":"10.1073\/pnas.0808725105"},{"key":"1_CR37","doi-asserted-by":"crossref","unstructured":"Taubner, C., Merker, T.: Discrete Modelling of the Ethylene-Pathway. In: ICDEW 2005: Proceedings of the 21st International Conference on Data Engineering Workshops, 1152 (2005)","DOI":"10.1109\/ICDE.2005.212"},{"key":"1_CR38","unstructured":"Telelogic, http:\/\/www.telelogic.com"},{"key":"1_CR39","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/s10489-006-6937-9","volume":"24","author":"K. Webb","year":"2006","unstructured":"Webb, K., White, T.: Cell Modeling with Reusable Agent-based Formalisms. Applied Intelligence\u00a024, 169\u2013181 (2006)","journal-title":"Applied Intelligence"}],"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_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T15:16:52Z","timestamp":1738250212000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-68413-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540684107","9783540684138"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-68413-8_1","relation":{},"subject":[]}}