{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:38:20Z","timestamp":1750307900164,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,11,3]],"date-time":"2008-11-03T00:00:00Z","timestamp":1225670400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,11,3]]},"DOI":"10.1145\/1496984.1497005","type":"proceedings-article","created":{"date-parts":[[2009,1,29]],"date-time":"2009-01-29T13:45:53Z","timestamp":1233236753000},"page":"121-128","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Crafting game-models using reactive system design"],"prefix":"10.1145","author":[{"given":"David","family":"Harel","sequence":"first","affiliation":[{"name":"Weizmann Institute of Science, Rehovot, Israel"}]},{"given":"Itai","family":"Segall","sequence":"additional","affiliation":[{"name":"Weizmann Institute of Science, Rehovot, Israel"}]},{"given":"Hillel","family":"Kugler","sequence":"additional","affiliation":[{"name":"Microsoft Research, Cambridge, UK"}]},{"given":"Yaki","family":"Setty","sequence":"additional","affiliation":[{"name":"Microsoft Research, Cambridge, UK"}]}],"member":"320","published-online":{"date-parts":[[2008,11,3]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Telelogic www.telelogic.com.  Telelogic www.telelogic.com."},{"key":"e_1_3_2_1_2_1","unstructured":"3D Game Studio www.3dgamestudio.com.  3D Game Studio www.3dgamestudio.com."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008739929481"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1093\/bib\/bbm029"},{"key":"e_1_3_2_1_5_1","first-page":"145","article-title":"Abstract Machines of Systems Biology","volume":"3","author":"Cardelli L.","year":"2005","unstructured":"L. Cardelli . Abstract Machines of Systems Biology . T. Comp. Sys. Biology 3 : 145 -- 168 , 2005 . L. Cardelli. Abstract Machines of Systems Biology. T. Comp. Sys. Biology 3:145--168, 2005.","journal-title":"T. Comp. Sys. Biology"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/259963.260011"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/566570.566597"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1098\/rsif.2006.0173"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011227529550"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/375735.376382"},{"key":"e_1_3_2_1_11_1","first-page":"137","volume-title":"Data-flow and Hierarchical Preemption for Behavioural Animation. In Eurographics Workshop on Programming Paradigms in Graphics","author":"Donikian S.","year":"1995","unstructured":"S. Donikian and E. Rutten . Reactivity, Concurrency , Data-flow and Hierarchical Preemption for Behavioural Animation. In Eurographics Workshop on Programming Paradigms in Graphics , pp 137 -- 153 , 1995 . S. Donikian and E. Rutten. Reactivity, Concurrency, Data-flow and Hierarchical Preemption for Behavioural Animation. In Eurographics Workshop on Programming Paradigms in Graphics, pp 137--153, 1995."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2005.31"},{"key":"e_1_3_2_1_13_1","volume-title":"Emergent Dynamics of Thymocyte Development and Lineage Determination. PLoS Comput Biol, 3--13","author":"Efroni S.","year":"2007","unstructured":"S. Efroni , D. Harel and I. R. Cohen . Emergent Dynamics of Thymocyte Development and Lineage Determination. PLoS Comput Biol, 3--13 , 2007 . S. Efroni, D. Harel and I. R. Cohen. Emergent Dynamics of Thymocyte Development and Lineage Determination. PLoS Comput Biol, 3--13, 2007."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/258948.258973"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380211102"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/311535.311538"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.596624"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19029-2","volume-title":"Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine","author":"Harel D.","year":"2003","unstructured":"D. Harel and R. Marelly . Come , Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine . Springer-Verlag , 2003 . D. Harel and R. Marelly. Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer-Verlag, 2003."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/101969.101990"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1409720.1409744"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68413-8_1"},{"key":"e_1_3_2_1_23_1","first-page":"226","article-title":"A Grand Challenge for Computing: Full Reactive Modeling of a Multi-Cellular Animal","volume":"81","author":"Harel D.","year":"2003","unstructured":"D. Harel . A Grand Challenge for Computing: Full Reactive Modeling of a Multi-Cellular Animal . Bulletin of the EATCS 81 : 226 -- 235 , 2003 . D. Harel. A Grand Challenge for Computing: Full Reactive Modeling of a Multi-Cellular Animal. Bulletin of the EATCS 81:226--235, 2003.","journal-title":"Bulletin of the EATCS"},{"key":"e_1_3_2_1_24_1","volume-title":"Half-Real: Video Games between Real Rules and Fictional Worlds","author":"Juul J.","year":"2005","unstructured":"J. Juul . Half-Real: Video Games between Real Rules and Fictional Worlds . Cambridge : MIT Press , 2005 . J. Juul. Half-Real: Video Games between Real Rules and Fictional Worlds. Cambridge: MIT Press, 2005."},{"key":"e_1_3_2_1_25_1","first-page":"323","volume-title":"Proc. Computer Game and Digital Cultures","author":"Juul J.","year":"2002","unstructured":"J. Juul . The Open and the Closed: Game of emergence and games of progression . In Proc. Computer Game and Digital Cultures , pp 323 -- 329 , 2002 . J. Juul. The Open and the Closed: Game of emergence and games of progression. In Proc. Computer Game and Digital Cultures, pp 323--329, 2002."},{"key":"e_1_3_2_1_26_1","volume-title":"Developmental Biology","author":"Kam N.","year":"2008","unstructured":"N. Kam , H. Kugler , R. Marelly , L. Appleby , J. Fisher , A. Pnueli , D. Harel , M. J. Stern and E. J. A. Hubbard . A scenario-based approach to modeling development: A prototype model of C. elegans vulval fate specification . Developmental Biology , 2008 . N. Kam, H. Kugler, R. Marelly, L. Appleby, J. Fisher, A. Pnueli, D. Harel, M. J. Stern and E. J. A. Hubbard. A scenario-based approach to modeling development: A prototype model of C. elegans vulval fate specification. Developmental Biology, 2008."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337368"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/s003710050134"},{"key":"e_1_3_2_1_30_1","volume-title":"Four-Dimensional Realistic Modeling of Pancreatic Organogenesis. Proc Natl Acad Sci U S A, to appear","author":"Setty Y.","year":"2008","unstructured":"Y. Setty , I. R. Cohen , Y. Dor and D. Harel . Four-Dimensional Realistic Modeling of Pancreatic Organogenesis. Proc Natl Acad Sci U S A, to appear , 2008 . Y. Setty, I. R. Cohen, Y. Dor and D. Harel. Four-Dimensional Realistic Modeling of Pancreatic Organogenesis. Proc Natl Acad Sci U S A, to appear, 2008."},{"key":"e_1_3_2_1_31_1","first-page":"237","volume-title":"Game Programming Gems","author":"Dybsand E.","year":"2000","unstructured":"E. Dybsand . A Finite State Machine Class . Game Programming Gems , pp 237 -- 248 , 2000 . E. Dybsand. A Finite State Machine Class. Game Programming Gems, pp 237--248, 2000."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.5555\/1756428.1756457"},{"key":"e_1_3_2_1_33_1","series-title":"Game Development Series","volume-title":"Emergence in Games. Charles River Media","author":"Sweetser P.","year":"2008","unstructured":"P. Sweetser . Emergence in Games. Charles River Media , Game Development Series , 2008 . P. Sweetser. Emergence in Games. Charles River Media, Game Development Series, 2008."},{"key":"e_1_3_2_1_34_1","first-page":"1","article-title":"Scripting versus Emergence","volume":"4","author":"Sweetser P.","year":"2005","unstructured":"P. Sweetser and J. Wiles . Scripting versus Emergence : Issues for Game Developers and Players in Game Environment Design. International Journal of Intelligent Games and Simulations 4 : 1 -- 9 , 2005 . P. Sweetser and J. Wiles. Scripting versus Emergence: Issues for Game Developers and Players in Game Environment Design. International Journal of Intelligent Games and Simulations 4:1--9, 2005.","journal-title":"International Journal of Intelligent Games and Simulations"},{"key":"e_1_3_2_1_35_1","volume-title":"Paraglyph","author":"Marino P.","year":"2004","unstructured":"P. Marino . 3 D Game-Based Filmmaking : The Art of Machinima . Paraglyph , 2004 . P. Marino. 3D Game-Based Filmmaking: The Art of Machinima. Paraglyph, 2004."}],"event":{"name":"FuturePlay08: FuturePlay 2008 Academic Games Conference","sponsor":["SIGCHI ACM Special Interest Group on Computer-Human Interaction"],"location":"Toronto Ontario Canada","acronym":"FuturePlay08"},"container-title":["Proceedings of the 2008 Conference on Future Play: Research, Play, Share"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1496984.1497005","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1496984.1497005","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:47:32Z","timestamp":1750258052000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1496984.1497005"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11,3]]},"references-count":35,"alternative-id":["10.1145\/1496984.1497005","10.1145\/1496984"],"URL":"https:\/\/doi.org\/10.1145\/1496984.1497005","relation":{},"subject":[],"published":{"date-parts":[[2008,11,3]]},"assertion":[{"value":"2008-11-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}