{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:54:15Z","timestamp":1729641255375,"version":"3.28.0"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,4]]},"DOI":"10.1109\/rcis.2009.5089284","type":"proceedings-article","created":{"date-parts":[[2009,6,25]],"date-time":"2009-06-25T09:51:17Z","timestamp":1245923477000},"page":"207-216","source":"Crossref","is-referenced-by-count":1,"title":["An approach for testing mobile agents using the nets within nets paradigm"],"prefix":"10.1109","author":[{"given":"Yacine","family":"Kissoum","sequence":"first","affiliation":[]},{"given":"Zaidi","family":"Sahnoun","sequence":"additional","affiliation":[]},{"given":"Kamel","family":"Barkaoui","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","first-page":"224","article-title":"modelling the structure and behavior of etri net agents","volume":"2075","author":"ko?hler","year":"2001","journal-title":"LNCS"},{"key":"17","article-title":"coloured petri nets, basic methods, analysis methods and practical use","volume":"1","author":"jensen","year":"1992","journal-title":"EATCS Monographs on Theoretical"},{"key":"18","first-page":"85","article-title":"towards a unified approach form modeling and verification of multi-agent systems","author":"ko?hler","year":"2001","journal-title":"Workshop on Modelling of Objects Components and Agents (MOCA'01)"},{"journal-title":"Reference net workshop","year":"1998","author":"kummer","key":"15"},{"year":"0","key":"16"},{"key":"13","first-page":"1","article-title":"petri nets as token objects: an introduction to elementary object nets","volume":"1420","author":"valk","year":"1998","journal-title":"LNCS"},{"key":"14","article-title":"concurrency in communicating object petri nets","volume":"2001","author":"valk","year":"2001","journal-title":"LNCS"},{"key":"11","first-page":"121","article-title":"modelling mobility and mobile agents using nets within nets","volume":"2679","author":"ko?hler","year":"2003","journal-title":"LNCS"},{"year":"0","key":"12"},{"key":"21","article-title":"a colored petri net for a multi-agent application","author":"weyns","year":"2002","journal-title":"Second Workshop on Modelling of Objects Components and Agents"},{"year":"0","key":"20"},{"key":"22","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-36540-0_5","article-title":"concurrent architecture for a multi-agent platform","volume":"2585","author":"duvigneau","year":"2003","journal-title":"Lecture Notes in Computer Science"},{"key":"23","article-title":"extending uml for agents","author":"odell","year":"2000","journal-title":"proceedings of the agent-Oriented Information Systems Workshop 17th National Conference on Artificial Intelligence"},{"key":"24","article-title":"modeling agent conversation with colored petri nets","author":"scott","year":"1999","journal-title":"Working notes on the workshop on specifying and implementing conversation policies (Autonomous agents"},{"key":"25","first-page":"355","article-title":"the fipa-os agent platform. open source for open standards","author":"poslad","year":"2000","journal-title":"Proc of the 5th International Conference and Exhibition on the Practical Application of Intelligent Agents and Multi-Agents"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/AICCSA.2007.370867"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/AICCSA.2007.370867"},{"journal-title":"JUnit","year":"0","key":"28"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/AICCSA.2008.4493616"},{"key":"3","article-title":"a possible approach to the development of robotic multi-agent systems","author":"cossentino","year":"2003","journal-title":"IEEE\/WIC Conf on Intelligent Agent Technology (IAT'03)"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1049\/ip-sen:19971025"},{"year":"0","key":"10"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1017\/S026988890000789X"},{"year":"0","key":"30"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010011219782"},{"year":"0","key":"6"},{"journal-title":"agent communication languages specifications","year":"0","key":"32"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/375735.376120"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-79488-2_5"},{"key":"4","article-title":"aalaadin: a meta-model for the analysis and design of organizations in multiagent systems","author":"ferber","year":"1998","journal-title":"ICMAS'98"},{"key":"9","article-title":"unit testing in multiagent systems using mock agents and aspect","author":"coelho","year":"0","journal-title":"5th Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS'06)"},{"journal-title":"The Art of Software Testing","year":"2004","author":"myers","key":"8"}],"event":{"name":"2009 Third International Conference on Research Challenges in Information Science (RCIS)","start":{"date-parts":[[2009,4,22]]},"location":"Fez, Morocco","end":{"date-parts":[[2009,4,24]]}},"container-title":["2009 Third International Conference on Research Challenges in Information Science"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5073917\/5089258\/05089284.pdf?arnumber=5089284","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T17:17:47Z","timestamp":1497806267000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5089284\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,4]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/rcis.2009.5089284","relation":{},"subject":[],"published":{"date-parts":[[2009,4]]}}}