{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:24:07Z","timestamp":1725575047985},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540200543"},{"type":"electronic","value":"9783540394259"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39425-9_24","type":"book-chapter","created":{"date-parts":[[2011,1,15]],"date-time":"2011-01-15T10:06:54Z","timestamp":1295086014000},"page":"189-193","source":"Crossref","is-referenced-by-count":0,"title":["A Formal Specification and Method for MAS as a Distributed System"],"prefix":"10.1007","author":[{"given":"Yan","family":"Qi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xin","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei","family":"Yan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xinjun","family":"Mao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhichang","family":"Qi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","volume-title":"Agent-Oriented Software Engineering: The State of The Art. Handbook of Software Engineering and Knowledge Engineering","author":"M. Wooldridge","year":"2001","unstructured":"Wooldridge, M., Ciancarini, P.: Agent-Oriented Software Engineering: The State of The Art. Handbook of Software Engineering and Knowledge Engineering. World Scientific Publishing, Singapore (2001)"},{"key":"24_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-540-24620-6_16","volume-title":"Agent-Oriented Software Engineering IV","author":"Q. Yan","year":"2004","unstructured":"Yan, Q., Mao, X.J., Zhu, H., Qi, Z.C.: Agent-Oriented Software Engineering IV. In: Giorgini, P., M\u00fcller, J.P., Odell, J.J. (eds.) AOSE 2003. LNCS, vol.\u00a02935, pp. 36\u201352. Springer, Heidelberg (2004)"},{"key":"24_CR3","unstructured":"Mattern, F.: Virtual Time and Global States of Distributed Systems. In: Proc. Of Parallel and Distributed Algorithms Conf., pp. 215\u2013226 (1988)"},{"key":"24_CR4","volume-title":"Working with Objects, The OOram Software Engineering Method","author":"T. Reenskaug","year":"1996","unstructured":"Reenskaug, T., Wold, P., Lehne, O.A.: Working with Objects, The OOram Software Engineering Method. Manning Publications Co., Greenwich (1996)"},{"key":"24_CR5","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1023\/A:1010071910869","volume":"3","author":"M. Wooldridge","year":"2000","unstructured":"Wooldridge, M., Jennings, N., Kinny, D.: The Gaia Methodology for Agent-Oriented Analysis and Design. Journal of Autonomous Agents and Multi-Agent Systems\u00a03, 285\u2013312 (2000)","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"key":"24_CR6","volume-title":"Proceedings of International Conference on Active Media Technology","author":"Q. Yan","year":"2003","unstructured":"Yan, Q., Shan, L.J., Mao, X.J.: RoMAS: A Role-Based Modeling Method for Multi-Agent System. In: Proceedings of International Conference on Active Media Technology, World Scientific Publishing, Singapore (2003)"}],"container-title":["Lecture Notes in Computer Science","Advanced Parallel Processing Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39425-9_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T16:01:15Z","timestamp":1553356875000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39425-9_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540200543","9783540394259"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39425-9_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}