{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T14:30:49Z","timestamp":1725633049889},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,5]]},"DOI":"10.1109\/ccece.2008.4564814","type":"proceedings-article","created":{"date-parts":[[2008,7,17]],"date-time":"2008-07-17T23:35:22Z","timestamp":1216337722000},"page":"001611-001616","source":"Crossref","is-referenced-by-count":7,"title":["Monitoring Multi-Agent Systems for deadlock detection based on UML models"],"prefix":"10.1109","author":[{"given":"Nariman","family":"Mani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vahid","family":"Garousi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Behrouz H.","family":"Far","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1979.234181"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1007\/11880240_26"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/191246.191322"},{"journal-title":"FIPA ACL Message Structure Specification","year":"2002","key":"16"},{"journal-title":"Modern Operating Systems","year":"1992","author":"tanenbaum","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2002.1173118"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1980.230491"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/357360.357365"},{"year":"2007","key":"3","article-title":"uml 2.1.1 superstructure specification"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/176789.176794"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010002720057"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"6","first-page":"1","article-title":"agent-oriented software engineering: the state of the art","author":"wooldridge","year":"2000","journal-title":"Proc 1st Int Workshop Agent-Oriented Software Eng"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/b116049"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/1-4020-8058-1_8"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/544862.544965"},{"key":"8","article-title":"automatic verification of multiagent conversations","author":"timothy","year":"2000","journal-title":"the Annual Midwest Artificial Intelligence and Cognitive Science"}],"event":{"name":"2008 Canadian Conference on Electrical and Computer Engineering - CCECE","start":{"date-parts":[[2008,5,4]]},"location":"Niagara Falls, ON, Canada","end":{"date-parts":[[2008,5,7]]}},"container-title":["2008 Canadian Conference on Electrical and Computer Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4554522\/4564482\/04564814.pdf?arnumber=4564814","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T14:50:28Z","timestamp":1489675828000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4564814\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,5]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/ccece.2008.4564814","relation":{},"ISSN":["0840-7789"],"issn-type":[{"type":"print","value":"0840-7789"}],"subject":[],"published":{"date-parts":[[2008,5]]}}}