{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T19:40:50Z","timestamp":1780602050339,"version":"3.54.1"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cmpsac.2004.1342814","type":"proceedings-article","created":{"date-parts":[[2004,11,8]],"date-time":"2004-11-08T11:28:24Z","timestamp":1099913304000},"page":"114-119","source":"Crossref","is-referenced-by-count":2,"title":["Consistency check in modelling multi-agent systems"],"prefix":"10.1109","author":[{"family":"Lijun Shan","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"family":"Hong Zhu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00262-2"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/839268.839271"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2001.989826"},{"key":"15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-40020-2_3","article-title":"An attempt at analysing the consistency problems in the UML from a classical algebraic viewpoint","author":"astesiano","year":"2003","journal-title":"Recent Trends in Algebraic Development Techniques Selected Papers of the 15th Int Workshop WADT'02"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2001.989797"},{"key":"13","article-title":"Check the consistency of UML class diagrams using larch prover","author":"andr'e","year":"2000","journal-title":"Proc 3rd Workshop Rigorous Object Oriented Methods"},{"key":"14","article-title":"Check the consistency of collaboration and class diagrams using PVS","author":"paige","year":"2002","journal-title":"Proc 3rd Workshop Rigorous Object Oriented Methods"},{"key":"11","article-title":"Consistency problems in UML-based software development","author":"kuzniarz","year":"2002","journal-title":"Workshop Materials at UML'2002"},{"key":"12","first-page":"83","article-title":"Completeness and consistency analysis of UML statechart specifications","author":"pap","year":"2001","journal-title":"Proc IEEE Work Design and Diagnostics of Electronic Circuits and Systems"},{"key":"3","article-title":"Analysing and specifying scenarios and agent behaviours","author":"shan","year":"2003","journal-title":"Proc IEEE\/WIC Int Conf Intell Agent Technol"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/958961.958963"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03678-5"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-34979-4_23"},{"key":"7","first-page":"1","article-title":"Agent theories, architectures, and languages: A survey","author":"wooldridge","year":"1995","journal-title":"Intelligent Agents Theories Architectures and Languages"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/860575.860852"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194001000657"},{"key":"4","article-title":"CAMLE: A caste-centric agent modelling language and environment","author":"shan","year":"2004","journal-title":"Proceedings of the 3rd Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS'04)"},{"key":"9","year":"0"},{"key":"8","year":"0"}],"event":{"name":"Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004.","location":"Hong Kong"},"container-title":["Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9304\/29570\/01342814.pdf?arnumber=1342814","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T07:37:49Z","timestamp":1497598669000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1342814\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/cmpsac.2004.1342814","relation":{},"subject":[]}}