{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:56:14Z","timestamp":1725558974960},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540259114"},{"type":"electronic","value":"9783540319467"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11426714_9","type":"book-chapter","created":{"date-parts":[[2010,7,13]],"date-time":"2010-07-13T01:48:24Z","timestamp":1278985704000},"page":"125-139","source":"Crossref","is-referenced-by-count":2,"title":["AgentZ: Extending Object-Z for Multi-agent Systems Specification"],"prefix":"10.1007","author":[{"given":"Anarosa A. F.","family":"Brand\u00e3o","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paulo","family":"Alencar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlos J. P.","family":"de Lucena","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/3-540-44564-1_6","volume-title":"Agent-Oriented Software Engineering","author":"B. Bauer","year":"2001","unstructured":"Bauer, B., M\u00fcller, J.P., Odell, J.: Agent UML: A Formalism for Specifying Multiagent Software Systems. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol.\u00a01957, pp. 91\u2013103. Springer, Heidelberg (2001)"},{"key":"9_CR2","volume-title":"Role Theory: Concepts and Research","author":"J. Biddle","year":"1966","unstructured":"Biddle, J., Thomas, E.: Role Theory: Concepts and Research. John Wiley and Sons, New York (1966)"},{"key":"9_CR3","unstructured":"Carrington, D., Smith, G.: Extending Z for Object-Oriented Specifications. In: 5th Australian Software Engineering Conference, Sydney (May 1990)"},{"key":"9_CR4","unstructured":"Duke, R., King, P., Rose, G., Smith, G.: The Object-Z Specification Language: version 1, Software Verification Research Centre, The University of Queensland, Technical Report 91-01 (April 1991)"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/3-540-44539-0_9","volume-title":"Engineering Societies in the Agents World","author":"V. Hilaire","year":"2000","unstructured":"Hilaire, V., Koukam, A., Gruer, P., M\u00fcller, J.-P.: Formal Specification and Prototyping of MAS. In: Omicini, A., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2000. LNCS, vol.\u00a01972, pp. 114\u2013127. Springer, Heidelberg (2000)"},{"key":"9_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04607-4","volume-title":"Understanding Agent Systems","author":"M. d\u2019Inverno","year":"2001","unstructured":"d\u2019Inverno, M., Luck, M.: Understanding Agent Systems. Springer, Heidelberg (2001)"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Jennings, N.: Agent-Oriented Software Engineering. In: Proceedings of the 20th Intl. Conf. on Industrial and Engineering Applications of Artificial Intelligence, pp. 4\u201310 (1999)","DOI":"10.1007\/978-3-540-48765-4_2"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/3-540-44525-0_2","volume-title":"ZB 2000: Formal Specification and Development in Z and B","author":"S.-K. Kim","year":"2000","unstructured":"Kim, S.-K., Carrington, D.: A Formal Mapping Between UML Models and Object-Z Specifications. In: Bowen, J.P., Dunne, S., Galloway, A., King, S. (eds.) B 2000, ZUM 2000, and ZB 2000. LNCS, vol.\u00a01878, pp. 2\u201321. Springer, Heidelberg (2000)"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Lind, J.: MASSIVE: Software Engineering for Multiagent Systems, PhD Thesis, university of Saarland (2000)","DOI":"10.1007\/3-540-45162-5"},{"key":"9_CR10","unstructured":"MDA \u2013 Model Driven Architecture, http:\/\/www.omg.org\/mda\/"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Parunak, H., Odell, J.: Representing Social Structures in UML. In: Proceedings of Agent Oriented Software Engineering, pp. 1-16 (2001)","DOI":"10.1007\/3-540-70657-7_1"},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-540-24620-6_3","volume-title":"Agent-Oriented Software Engineering IV","author":"A. Perini","year":"2004","unstructured":"Perini, A., Pistore, M., Roveri, M., Susi, A.: Agent-oriented modelling by interleaving formal and informal specification. In: Giorgini, P., M\u00fcller, J.P., Odell, J.J. (eds.) AOSE 2003. LNCS, vol.\u00a02935, pp. 36\u201352. Springer, Heidelberg (2004)"},{"key":"9_CR13","first-page":"145","volume-title":"Journal of Autonomous Agents and Multi-Agent Systems","author":"V. Silva","year":"2004","unstructured":"Silva, V., Lucena, C.: From a Conceptual Framework for Agents and Objects to a Multi-Agent System Modelling Language. In: Sycara, K., Wooldridge, M. (eds.) Journal of Autonomous Agents and Multi-Agent Systems, vol.\u00a09(1-2), pp. 145\u2013189. Kluwer Academic Publishers, Dordrecht (2004)"},{"key":"9_CR14","series-title":"Lecture Notes in Computer Science","volume-title":"Software Engineering for Large-Scale Multi-Agent Systems","author":"V. Silva","year":"2003","unstructured":"Silva, V., Garcia, A., Brand\u00e3o, A., Chavez, C., Lucena, C., Alencar, P.: Taming Agents and Objects in Software Engineering. In: Garcia, A.F., de Lucena, C.J.P., Zambonelli, F., Omicini, A., Castro, J. (eds.) Software Engineering for Large-Scale Multi-Agent Systems. LNCS, vol.\u00a02603. Springer, Heidelberg (2003)"},{"key":"9_CR15","volume-title":"Notation: a Reference Manual","author":"J.M. Spivey","year":"1992","unstructured":"Spivey, J.M.: The Z Notation: a Reference Manual, 2nd edn. Prentice-Hall, Englewood Cliffs (1992) on-line version at http:\/\/spivey.oriel.ox.ac.uk\/~mike\/zrm\/ -14\/05\/2003","edition":"2"},{"key":"9_CR16","unstructured":"UML \u2013 The Unified Modelling Language, http:\/\/www.omg.org\/uml\/"},{"issue":"5","key":"9_CR17","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1016\/S0306-4379(02)00027-3","volume":"28","author":"G. Wagner","year":"2003","unstructured":"Wagner, G.: The Agent-Object-Relationship Metamodel: Towards a Unified View of State and Behaviour. Information Systems\u00a028(5), 475\u2013504 (2003)","journal-title":"Information Systems"},{"key":"9_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/3-540-44564-1_14","volume-title":"Agent-Oriented Software Engineering","author":"M.F. Wood","year":"2001","unstructured":"Wood, M.F., DeLoach, S.A.: An Overview of the Multiagent Systems Engineering Methodology. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol.\u00a01957, pp. 207\u2013221. Springer, Heidelberg (2001)"},{"key":"9_CR19","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":"9_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44564-1_1","volume-title":"Agent-Oriented Software Engineering","author":"M.J. Wooldridge","year":"2001","unstructured":"Wooldridge, M.J., Ciancarini, P.: Agent-Oriented Software Engineering: The State of the Art. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol.\u00a01957, pp. 1\u201328. Springer, Heidelberg (2001)"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Wooldridge, M., Ciancarini, P.: Agent-Oriented Software Engineering. In: Chang, S.K. (ed.) Handbook of Software Engineering & Knowledge Engineering Fundamentals, vol.\u00a01 (2001)","DOI":"10.1142\/9789812389718_0021"},{"key":"9_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/3-540-44564-1_16","volume-title":"Agent-Oriented Software Engineering","author":"F. Zambonelli","year":"2001","unstructured":"Zambonelli, F., Jennings, N.R., Wooldridge, M.J.: Organizational Abstractions for the Analysis and Design of Multi-agent Systems. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol.\u00a01957, pp. 235\u2013251. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Agent-Oriented Information Systems II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11426714_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T00:48:10Z","timestamp":1559263690000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11426714_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540259114","9783540319467"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/11426714_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}