{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T12:13:22Z","timestamp":1730204002641,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/ccece.2013.6567818","type":"proceedings-article","created":{"date-parts":[[2013,8,1]],"date-time":"2013-08-01T16:13:48Z","timestamp":1375373628000},"page":"1-4","source":"Crossref","is-referenced-by-count":3,"title":["Automated verification of AUML based multi-agent system design"],"prefix":"10.1109","author":[{"given":"Seyedehmehrnaz","family":"Mireslami","sequence":"first","affiliation":[]},{"given":"Behrouz H.","family":"Far","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","first-page":"91","author":"bauer","year":"2001","journal-title":"Agent-Oriented Agent UML A Formalism for Specifying Multiagent Interaction"},{"journal-title":"Learning UML 2 0","year":"2006","author":"miles","key":"2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2005.09.007"},{"key":"1","first-page":"3","article-title":"Extending UML for agents","author":"odell","year":"2000","journal-title":"Proc of the Agent-Oriented Information Systems Workshop at the 17th National Conf on AI"},{"key":"7","first-page":"70","author":"mireslami","year":"2012","journal-title":"Detecting Emergent Behavior in Distributed Systems Caused by Overgeneralization SEKE"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ICTAI.2008.114"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ICTAI.2010.29"},{"key":"4","first-page":"150","article-title":"Extending agent UML sequence diagrams","author":"huget","year":"2002","journal-title":"Proc of 3rd Int Conf on AOSE III"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2004.6"},{"key":"8","first-page":"285","article-title":"The GAIA methodology for Agent-Oriented analysis and design","volume":"3","author":"wooldridge","year":"2000","journal-title":"Journal of AAMAS"}],"event":{"name":"2013 26th IEEE Canadian Conference on Electrical and Computer Engineering (CCECE)","start":{"date-parts":[[2013,5,5]]},"location":"Regina, SK, Canada","end":{"date-parts":[[2013,5,8]]}},"container-title":["2013 26th IEEE Canadian Conference on Electrical and Computer Engineering (CCECE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6547899\/6567660\/06567818.pdf?arnumber=6567818","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T17:01:44Z","timestamp":1490202104000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6567818\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/ccece.2013.6567818","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}