{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,21]],"date-time":"2026-05-21T02:21:49Z","timestamp":1779330109908,"version":"3.51.4"},"reference-count":17,"publisher":"SAGE Publications","issue":"6","license":[{"start":{"date-parts":[[2001,6,1]],"date-time":"2001-06-01T00:00:00Z","timestamp":991353600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/journals.sagepub.com\/page\/policies\/text-and-data-mining-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIMULATION"],"published-print":{"date-parts":[[2001,6]]},"abstract":"<jats:p>This paper presents a formal modeling and simulation framework for mobile agent sys tems. A Mobile Discrete Event System Specifi cation (MDEVS) formalism is proposed to rep resent the dynamics of mobile agent systems. The MDEVS formalism supports structural changes of the systems, which include the cre ation, addition, deletion, and migration of mod els and the dynamic changes of couplings be tween models. AgentSim is a software environ ment for the simulation and execution of mobile agent systems modeled by the MDEVS formalism. AgentSim is implemented as a li brary built on IBM's Aglets. The modeling and simulation of an e-commerce mobile agent sys tem is exemplified to demonstrate the effective ness of the proposed modeling framework and the associated simulation environment.<\/jats:p>","DOI":"10.1177\/003754970107600603","type":"journal-article","created":{"date-parts":[[2008,3,29]],"date-time":"2008-03-29T13:23:43Z","timestamp":1206797023000},"page":"345-357","source":"Crossref","is-referenced-by-count":12,"title":["DEVS-Based Framework for Modeling\/Simulation of Mobile Agent Systems"],"prefix":"10.1177","volume":"76","author":[{"given":"Jae-Hyun","family":"Kim","sequence":"first","affiliation":[{"name":"Department of Electrical Engineering & Computer Science Korea Advanced Institute of Science and Technology (KAIST) 373-1 Kusong-dong Yusong-ku Taejon, KOREA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"family":"Tag Gon Kim","sequence":"additional","affiliation":[{"name":"Department of Electrical Engineering & Computer Science Korea Advanced Institute of Science and Technology (KAIST) 373-1 Kusong-dong Yusong-ku Taejon, KOREA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"179","published-online":{"date-parts":[[2001,6,1]]},"reference":[{"key":"atypb1","volume-title":"Dagstuhl Seminar on Agent-Oriented Software Approaches in Distributed Modelling and Simulation","author":"Barros, F.J."},{"key":"atypb2","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(99)00231-5"},{"key":"atypb3","volume-title":"Proceedings of the Third International Workshop on Agent Theories, Architectures, and Languages","author":"Franklin, S."},{"key":"atypb4","doi-asserted-by":"publisher","DOI":"10.1109\/4236.612210"},{"key":"atypb5","volume-title":"Programming and Deploying Java Mobile Agents with Aglets","author":"Lange, D.B.","year":"1998"},{"key":"atypb6","volume-title":"Proceedings of the Ninth International Workshop on Database and Expert Systems Applications","author":"Stanski, P."},{"key":"atypb7","volume-title":"Dagstuhl Seminar on Agent-Oriented Software Approaches in Distributed Modelling and Simulation","author":"Uhrmacher, A.M."},{"key":"atypb8","doi-asserted-by":"publisher","DOI":"10.1145\/295685.295717"},{"key":"atypb9","volume-title":"Multifacetted Modelling and Discrete Event Simulation","author":"Zeigler, B.P.","year":"1984"},{"issue":"4","key":"atypb10","first-page":"291","volume":"7","author":"Zeigler, B.P.","year":"1991","journal-title":"TRANSACTIONS"},{"key":"atypb11","doi-asserted-by":"publisher","DOI":"10.1109\/PDSE.2000.847863"},{"key":"atypb12","volume-title":"Algebraic Theory of Processes","author":"Hennessy, M.","year":"1988"},{"key":"atypb13","volume-title":"Communication and Concurrency","author":"Milner, R.","year":"1989"},{"key":"atypb14","volume-title":"Communicating Sequential Processes","author":"Hoare, C.A.R.","year":"1985"},{"key":"atypb15","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(90)90193-L"},{"key":"atypb16","volume-title":"Proceedings of CONCUR'96, LNCS","author":"Fournet, C."},{"key":"atypb17","doi-asserted-by":"publisher","DOI":"10.1145\/268403.268423"}],"container-title":["SIMULATION"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/003754970107600603","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.1177\/003754970107600603","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T11:17:07Z","timestamp":1777634227000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.1177\/003754970107600603"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,6]]},"references-count":17,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2001,6]]}},"alternative-id":["10.1177\/003754970107600603"],"URL":"https:\/\/doi.org\/10.1177\/003754970107600603","relation":{},"ISSN":["0037-5497","1741-3133"],"issn-type":[{"value":"0037-5497","type":"print"},{"value":"1741-3133","type":"electronic"}],"subject":[],"published":{"date-parts":[[2001,6]]}}}