{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T11:57:59Z","timestamp":1730203079421,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/ccece.2013.6567839","type":"proceedings-article","created":{"date-parts":[[2013,8,1]],"date-time":"2013-08-01T20:13:48Z","timestamp":1375388028000},"page":"1-4","source":"Crossref","is-referenced-by-count":2,"title":["Detecting a certain kind of emergent behavior in multi agent systems applied on mase methodology"],"prefix":"10.1109","author":[{"given":"Fatemeh Hendijani","family":"Fard","sequence":"first","affiliation":[]},{"given":"Behrouz H.","family":"Far","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","first-page":"74","article-title":"Detecting implied scenarios in message sequence chart specifications","volume":"2001","author":"uchitel","year":"2001","journal-title":"Proceedings of ESEC\/SIGSOFT FSE"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337217"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/779928.779936"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2010.11.007"},{"journal-title":"Inference of Emergent Behaviors of Scenario-Based Specifications","year":"2009","author":"mousavi","key":"13"},{"key":"14","first-page":"372","article-title":"Detecting implied scenarios analyzing nonlocal branching choices","author":"muccini","year":"2003","journal-title":"Proc FASE 2003"},{"key":"11","first-page":"77","article-title":"Testing multi-Agent systems for deadlock detection based on UML models","author":"mani","year":"2008","journal-title":"Proc of DMS 2008"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.28"},{"key":"3","article-title":"Syntactic detection of process divergence and nonlocal choice in Message Sequence Charts","author":"ben-abdallah","year":"1997","journal-title":"Proc of TACAS'97"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2000.870421"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1504\/IJAOM.2011.045456"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.1998.732635"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ICMAS.2000.858494"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/IRI.2012.6303009"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194001000542"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2010.14"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.08.065"},{"journal-title":"Annex B Formal Semantics of Messages Sequence Charts","year":"1998","key":"8"}],"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\/06567839.pdf?arnumber=6567839","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T03:17:15Z","timestamp":1490239035000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6567839\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/ccece.2013.6567839","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}