{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,6]],"date-time":"2026-06-06T16:45:19Z","timestamp":1780764319875,"version":"3.54.1"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1109\/wsc.2012.6465163","type":"proceedings-article","created":{"date-parts":[[2013,3,1]],"date-time":"2013-03-01T13:24:26Z","timestamp":1362144266000},"page":"1-12","source":"Crossref","is-referenced-by-count":6,"title":["Formal specification supporting incremental and flexible agent-based modeling"],"prefix":"10.1109","author":[{"given":"Jang Won","family":"Bae","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"GeunHo","family":"Lee","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Il-Chull","family":"Moon","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1080\/0022250X.1971.9989794"},{"key":"22","author":"wainer","year":"1998","journal-title":"Discrete Events Cellular Models with Explicit Delays"},{"key":"17","author":"von neumann","year":"1966","journal-title":"Theory of Self-Reproducing Automata"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2011.6147751"},{"key":"18","author":"russel","year":"1995","journal-title":"Artificial Intelligence A Modern Approach"},{"key":"24","article-title":"Theory of modeling and simulation","volume":"132","author":"zeigler","year":"2000","journal-title":"Simulation"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01991-3_9"},{"key":"16","author":"von neumann","year":"1944","journal-title":"Theory of Games and Economic Behavior"},{"key":"13","article-title":"WSDL-based devs agent for net-centric systems engineering","author":"mittal","year":"2007","journal-title":"DEVS Integrative M&S Symposium DEVS'07"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1329125.1329430"},{"key":"11","first-page":"9","article-title":"A survey of agent-based modeling practices (January 1998 to July 2008)","volume":"12","author":"heath","year":"2009","journal-title":"Journal of Artificial Societies and Social Simulation"},{"key":"12","first-page":"53","article-title":"Framework for modeling\/simulation of mobile agent systems","author":"kim","year":"2000","journal-title":"2000 AI Simulation and Planning in High Autonomy Systems"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/5.910855"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ENABL.1997.630787"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1080\/0022250X.1971.9989791"},{"key":"2","author":"auyang","year":"1999","journal-title":"Foundations of Complex-System Theories In Economics Evolutionary Biology and Statistical Physics"},{"key":"1","article-title":"Towards a deliberative agent system based on DEVS formalism for application in agriculture","author":"mahuna","year":"2010","journal-title":"Proccedings of the Summer Computer Simulation Conference SCSC10 (2010)"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/324898.325022"},{"key":"7","author":"bratman","year":"1987","journal-title":"Intention Plans and Practical Reason"},{"key":"6","first-page":"111","author":"bertsekas","year":"1976","journal-title":"Dynamic Programming and Stochastic Control"},{"key":"5","author":"bernard","year":"1999","journal-title":"Using Adaptive Agent-Based Simulation Models to Assist Planners in PolicyDevelopment The Case of Rent Control"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1016\/S0198-9715(98)00017-9"},{"key":"9","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3374.001.0001","author":"epstein","year":"1996","journal-title":"Growing Artificial Societies Social Science from the Bottom Up"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.2307\/2096108"}],"event":{"name":"2012 Winter Simulation Conference - (WSC 2012)","location":"Berlin, Germany","start":{"date-parts":[[2012,12,9]]},"end":{"date-parts":[[2012,12,12]]}},"container-title":["Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6451330\/6464965\/06465163.pdf?arnumber=6465163","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,10]],"date-time":"2019-07-10T07:21:55Z","timestamp":1562743315000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6465163\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/wsc.2012.6465163","relation":{},"subject":[],"published":{"date-parts":[[2012,12]]}}}