{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,6]],"date-time":"2024-08-06T19:36:23Z","timestamp":1722972983349},"reference-count":60,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2016,6,1]],"date-time":"2016-06-01T00:00:00Z","timestamp":1464739200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"Man-Made Disaster Prevention Research Center National Emergency Management Agency of Korea","award":["Research and Development of Modeling and Simulating the Rescues, the Transfer, and the Treatment of Disaster Victims [nema-md-2013-36]"],"award-info":[{"award-number":["Research and Development of Modeling and Simulating the Rescues, the Transfer, and the Treatment of Disaster Victims [nema-md-2013-36]"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Syst. Man Cybern, Syst."],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1109\/tsmc.2015.2461178","type":"journal-article","created":{"date-parts":[[2015,8,13]],"date-time":"2015-08-13T22:31:21Z","timestamp":1439505081000},"page":"793-808","source":"Crossref","is-referenced-by-count":7,"title":["LDEF Formalism for Agent-Based Model Development"],"prefix":"10.1109","volume":"46","author":[{"given":"Jang Won","family":"Bae","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Il-Chul","family":"Moon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843097000057"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/JSEN.2010.2068044"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.07.014"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)80682-0"},{"key":"ref31","first-page":"133","article-title":"Formalising the environment in MAS programming: A formal model for artifact-based environments","author":"ricci","year":"2009","journal-title":"Proc 7th Int Workshop Program Multi-Agent Syst (ProMAS)"},{"key":"ref30","author":"bar-yam","year":"1997","journal-title":"Dynamics of Complex Systems"},{"key":"ref37","first-page":"6","article-title":"A formal model for the fifth discipline","volume":"8","author":"silva","year":"2005","journal-title":"J Artif Soc Soc Simulat"},{"key":"ref36","first-page":"254","article-title":"A formal framework for agency and autonomy","author":"luck","year":"1995","journal-title":"Proc Int Conf Multiagent Syst"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.3233\/MGS-2010-0146"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/s10458-008-9053-x"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.2514\/1.C031319"},{"key":"ref28","author":"von neumann","year":"2007","journal-title":"Theory of Games and Economic Behavior"},{"key":"ref27","author":"bratman","year":"1987","journal-title":"Intention Plans and Practical Reason"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"337","DOI":"10.5964\/jspp.v1i1.36","article-title":"A complex systems approach to the study of ideology: Cognitive-affective structures and the dynamics of belief systems","volume":"1","author":"homer-dixon","year":"2013","journal-title":"J Soc Polit Psychol"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"2229","DOI":"10.5897\/AJMR2014.6837","article-title":"Application of bacterial biomass as a potential heavy metal bio-removal agent","volume":"8","author":"daboor","year":"2014","journal-title":"African Journal of Microbiology Research"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2014.2339198"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1177\/003754970107600603"},{"key":"ref22","first-page":"1","article-title":"Constructing a cognitive agent model using DEVS framework for multi-agent simulation","author":"zhang","year":"2013","journal-title":"Proc 15th Eur Agent Syst Summer School (EASSS)"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/384169.384173"},{"key":"ref24","first-page":"35","article-title":"The dynamic structure discrete event system specification formalism","volume":"13","author":"barros","year":"1996","journal-title":"Trans Soc Comput Simulat Int"},{"key":"ref23","first-page":"103","article-title":"Specification of dynamic structure discrete event multiagent systems","volume":"38","author":"duboz","year":"2006","journal-title":"Simulation Series"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00023-X"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/SIMSYM.2003.1192823"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/219717.219808"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)00004-K"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.2514\/1.C000311"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/21.59966"},{"key":"ref57","first-page":"244","article-title":"Reusability measure of DEVS simulation models in DEVSim++ environment","author":"choi","year":"1997","journal-title":"Proc AeroSense"},{"key":"ref56","article-title":"Simulation experiment of routing strategy for evacuees and disaster responders","author":"lee","year":"2014","journal-title":"Proc Spring Simul Multi-Conf"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1177\/0037549714551291"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/268437.268749"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/21.214766"},{"key":"ref52","first-page":"68","article-title":"A conceptual framework for designing individual-based models","author":"grimm","year":"2013","journal-title":"Individual-based Modeling and Ecology"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2011.2135850"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.simpat.2003.11.006"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46581-2_5"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/35.267443"},{"key":"ref13","author":"zeigler","year":"2000","journal-title":"Theory of Modeling and Simulation"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0043-0"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CMPSAC.1996.544588"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(71)90281-6"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/5.910855"},{"key":"ref18","first-page":"250","article-title":"Towards a deliberative agent system based on DEVS formalism for application in agriculture","author":"akplogan","year":"2010","journal-title":"Proc Summer Computer Simulation Conf"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2011.6147751"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.18564\/jasss.2150"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.epsr.2014.01.014"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s00477-012-0680-z"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.18564\/jasss.2421"},{"key":"ref8","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":"J Artif Soc Soc Simulat"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1108\/JHLSCM-07-2013-0023"},{"key":"ref49","first-page":"89","article-title":"Cognitive engineering","author":"norman","year":"1993","journal-title":"Human Cognitive Abilities A Survey of Factor-Analytic Studies"},{"key":"ref9","author":"russell","year":"2009","journal-title":"Artificial Intelligence A Modern Approach"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1016\/j.simpat.2006.09.018"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24608-4_9"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/MINES.2012.59"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.4236\/jsea.2010.312130"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843097000069"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194001000657"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194001000517"},{"key":"ref43","doi-asserted-by":"crossref","first-page":"195","DOI":"10.3233\/FI-2000-43123410","article-title":"Nested Petri nets—A formalism for specification and verification of multi-agent distributed systems","volume":"43","author":"lomazova","year":"2000","journal-title":"Fundamenta Informaticae"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics: Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221021\/7469897\/07192627.pdf?arnumber=7192627","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:45:14Z","timestamp":1642005914000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7192627\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,6]]},"references-count":60,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tsmc.2015.2461178","relation":{},"ISSN":["2168-2216","2168-2232"],"issn-type":[{"value":"2168-2216","type":"print"},{"value":"2168-2232","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,6]]}}}