{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,13]],"date-time":"2026-05-13T07:05:14Z","timestamp":1778655914625,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,10,29]],"date-time":"2009-10-29T00:00:00Z","timestamp":1256774400000},"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":[[2009,10,29]]},"DOI":"10.1145\/1690388.1690427","type":"proceedings-article","created":{"date-parts":[[2010,1,5]],"date-time":"2010-01-05T15:05:14Z","timestamp":1262703914000},"page":"232-239","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Simulation as a game design tool"],"prefix":"10.1145","author":[{"given":"Timo","family":"Nummenmaa","sequence":"first","affiliation":[{"name":"University of Tampere"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jussi","family":"Kuittinen","sequence":"additional","affiliation":[{"name":"University of Jyv\u00e4skyl\u00e4"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jussi","family":"Holopainen","sequence":"additional","affiliation":[{"name":"Nokia Research Center"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,10,29]]},"reference":[{"issue":"1","key":"e_1_3_2_1_1_1","first-page":"3","article-title":"DisCo toolset - the new generation","volume":"7","author":"Aaltonen T.","year":"2001","unstructured":"T. Aaltonen , M. Katara , and R. Pitk\u00e4nen . DisCo toolset - the new generation . Journal of Universal Computer Science , 7 ( 1 ): 3 -- 18 , 2001 . T. Aaltonen, M. Katara, and R. Pitk\u00e4nen. DisCo toolset - the new generation. Journal of Universal Computer Science, 7(1):3--18, 2001.","journal-title":"Journal of Universal Computer Science"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/3022539.3022541"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1002\/9780470172445.ch1"},{"key":"e_1_3_2_1_4_1","volume-title":"Hingham (Mass.)","author":"Bj\u00f6rk S.","year":"2005","unstructured":"S. Bj\u00f6rk and J. Holopainen . Patterns in Game Design. Charles River Media , Hingham (Mass.) , 2005 . S. Bj\u00f6rk and J. Holopainen. Patterns in Game Design. Charles River Media, Hingham (Mass.), 2005."},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of AISB'06 Symposium on Narrative AI and Games","author":"Brom C.","year":"2006","unstructured":"C. Brom and A. Abonyi . Petri nets for game plot . In Proceedings of AISB'06 Symposium on Narrative AI and Games , 2006 . C. Brom and A. Abonyi. Petri nets for game plot. In Proceedings of AISB'06 Symposium on Narrative AI and Games, 2006."},{"key":"e_1_3_2_1_6_1","volume-title":"Z: An Introduction to Formal Methods","author":"Diller A.","year":"1990","unstructured":"A. Diller . Z: An Introduction to Formal Methods . John Wiley & Sons, Inc. , 1990 . A. Diller. Z: An Introduction to Formal Methods. John Wiley & Sons, Inc., 1990."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1201\/b13172"},{"key":"e_1_3_2_1_8_1","volume-title":"Formal models and game design. Game Studies, 5(1)","author":"Gr\u00fcnvogel S. M.","year":"2005","unstructured":"S. M. Gr\u00fcnvogel . Formal models and game design. Game Studies, 5(1) , 2005 . S. M. Gr\u00fcnvogel. Formal models and game design. Game Studies, 5(1), 2005."},{"key":"e_1_3_2_1_9_1","volume-title":"Games Without Frontiers: Theories and Methods for Game Studies and Design. Acta electronica Universitatis Tamperensis","author":"J\u00e4rvinen A.","year":"2008","unstructured":"A. J\u00e4rvinen . Games Without Frontiers: Theories and Methods for Game Studies and Design. Acta electronica Universitatis Tamperensis . Tampere University Press , Tampere , 2008 . A. J\u00e4rvinen. Games Without Frontiers: Theories and Methods for Game Studies and Design. Acta electronica Universitatis Tamperensis. Tampere University Press, Tampere, 2008."},{"key":"e_1_3_2_1_10_1","volume-title":"The DisCo2000 Specification Language Annotated version","author":"J\u00e4rvinen H.-M.","year":"2002","unstructured":"H.-M. J\u00e4rvinen . The DisCo2000 Specification Language Annotated version . 2002 . H.-M. J\u00e4rvinen. The DisCo2000 Specification Language Annotated version. 2002."},{"key":"e_1_3_2_1_11_1","volume-title":"The DisCo language and temporal logic of actions. Technical report","author":"J\u00e4rvinen H.-M.","year":"1990","unstructured":"H.-M. J\u00e4rvinen and R. Kurki-Suonio . The DisCo language and temporal logic of actions. Technical report , Tampere University of Technology , Software Systems Laboratory, 1990 . H.-M. J\u00e4rvinen and R. Kurki-Suonio. The DisCo language and temporal logic of actions. Technical report, Tampere University of Technology, Software Systems Laboratory, 1990."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/100296.100303"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.destud.2008.03.003"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0142-694X(00)00017-X"},{"key":"e_1_3_2_1_16_1","volume-title":"A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors","author":"Kurki-Suonio R.","year":"2005","unstructured":"R. Kurki-Suonio . A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors . Springer , 2005 . R. Kurki-Suonio. A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors. Springer, 2005."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177726"},{"key":"e_1_3_2_1_18_1","volume-title":"How Designers Think: The Design Process Demystified","author":"Lawson B.","year":"2005","unstructured":"B. Lawson . How Designers Think: The Design Process Demystified . Architectural Press , fourth edition, 2005 . B. Lawson. How Designers Think: The Design Process Demystified. Architectural Press, fourth edition, 2005."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/1206469"},{"key":"e_1_3_2_1_21_1","volume-title":"Adding probabilistic modeling to executable formal DisCo specifications with applications in strategy modeling in multiplayer game design. Master's thesis","author":"Nummenmaa T.","year":"2008","unstructured":"T. Nummenmaa . Adding probabilistic modeling to executable formal DisCo specifications with applications in strategy modeling in multiplayer game design. Master's thesis , University of Tampere , 2008 . T. Nummenmaa. Adding probabilistic modeling to executable formal DisCo specifications with applications in strategy modeling in multiplayer game design. Master's thesis, University of Tampere, 2008."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0142-694X(01)00026-6"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/510378.510552"},{"key":"e_1_3_2_1_24_1","volume-title":"Game Design: Theory and Practice","author":"Rouse R.","year":"2001","unstructured":"R. Rouse . Game Design: Theory and Practice . Wordware Publishing, Inc. , second edition, 2001 . R. Rouse. Game Design: Theory and Practice. Wordware Publishing, Inc., second edition, 2001."},{"key":"e_1_3_2_1_25_1","volume-title":"Rules of Play Game Design Fundamentals","author":"Salen K.","year":"2004","unstructured":"K. Salen and E. Zimmerman . Rules of Play Game Design Fundamentals . MIT Press , Cambridge, Mass , 2004 . K. Salen and E. Zimmerman. Rules of Play Game Design Fundamentals. MIT Press, Cambridge, Mass, 2004."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/2167319"},{"key":"e_1_3_2_1_27_1","volume-title":"The Reflective Practitioner: How Professionals Think In Action","author":"Sch\u00f6n D. A.","year":"1984","unstructured":"D. A. Sch\u00f6n . The Reflective Practitioner: How Professionals Think In Action . Basic Books , first edition, 1984 . D. A. Sch\u00f6n. The Reflective Practitioner: How Professionals Think In Action. Basic Books, first edition, 1984."},{"key":"e_1_3_2_1_28_1","first-page":"91","volume-title":"Programmed Graph Rewriting with Time for Simulation-Based Design","author":"Syriani E.","year":"2008","unstructured":"E. Syriani and H. Vangheluwe . Programmed Graph Rewriting with Time for Simulation-Based Design , pages 91 -- 106 . 2008 . E. Syriani and H. Vangheluwe. Programmed Graph Rewriting with Time for Simulation-Based Design, pages 91--106. 2008."},{"key":"e_1_3_2_1_29_1","volume-title":"NWPT","author":"Nummenmaa T.","year":"2008","unstructured":"T. Nummenmaa . A method for modeling probabilistic object behaviour for simulations of formal specifications. In T. Uustalu, J. Vain, and J. Ernits, editors, NWPT 2008 , Abstracts , Tallinn, Estonia , 2008. T. Nummenmaa. A method for modeling probabilistic object behaviour for simulations of formal specifications. In T. Uustalu, J. Vain, and J. Ernits, editors, NWPT 2008, Abstracts, Tallinn, Estonia, 2008."},{"key":"e_1_3_2_1_30_1","first-page":"153","volume-title":"Proceedings of the 8th Scandinavian Conference on Artificial Intelligence (SCAI'03)","author":"Tveit A.","year":"2003","unstructured":"A. Tveit , \u00d8. Rein, J. V. Iversen , and M. Matskin . Scalable agent-based simulation of players in massively multiplayer online games . In Proceedings of the 8th Scandinavian Conference on Artificial Intelligence (SCAI'03) , pages 153 -- 162 , 2003 . A. Tveit, \u00d8. Rein, J. V. Iversen, and M. Matskin. Scalable agent-based simulation of players in massively multiplayer online games. In Proceedings of the 8th Scandinavian Conference on Artificial Intelligence (SCAI'03), pages 153--162, 2003."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.destud.2005.04.005"}],"event":{"name":"ACE '09: International Conference in Advances in Computer Entertainment Technology","location":"Athens Greece","acronym":"ACE '09","sponsor":["Foundation of the Hellenic World","SIGCHI ACM Special Interest Group on Computer-Human Interaction"]},"container-title":["Proceedings of the International Conference on Advances in Computer Entertainment Technology"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1690388.1690427","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1690388.1690427","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:41:14Z","timestamp":1750250474000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1690388.1690427"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10,29]]},"references-count":29,"alternative-id":["10.1145\/1690388.1690427","10.1145\/1690388"],"URL":"https:\/\/doi.org\/10.1145\/1690388.1690427","relation":{},"subject":[],"published":{"date-parts":[[2009,10,29]]},"assertion":[{"value":"2009-10-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}