Abstract
Agent-orientation has gained increased importance in recent years with the emergence and growth of the World Wide Web, both as an area of study in itself and as a component of other disciplines such as software engineering. As a result, this has led to an increased amount of research developing new informal and formal software engineering techniques to support agent-oriented system specification, design, validation and development. In this paper, we present a formal notation called AgentZ that combines the model concepts and structure proposed by TAO (Taming Agents and Objects), a conceptual framework that provides conceptual foundations for agents and objects, with the well known Z and Object-Z formal representation languages. AgentZ was built to provide a formal notation that allows the verification of design models, a key issue within the emerging agent-oriented software engineering research and, as a result, it can help to improve the quality of MAS.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Bauer, B., Müller, J.P., Odell, J.: Agent UML: A Formalism for Specifying Multiagent Software Systems. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol. 1957, pp. 91–103. Springer, Heidelberg (2001)
Biddle, J., Thomas, E.: Role Theory: Concepts and Research. John Wiley and Sons, New York (1966)
Carrington, D., Smith, G.: Extending Z for Object-Oriented Specifications. In: 5th Australian Software Engineering Conference, Sydney (May 1990)
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)
Hilaire, V., Koukam, A., Gruer, P., Müller, J.-P.: Formal Specification and Prototyping of MAS. In: Omicini, A., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2000. LNCS, vol. 1972, pp. 114–127. Springer, Heidelberg (2000)
d’Inverno, M., Luck, M.: Understanding Agent Systems. Springer, Heidelberg (2001)
Jennings, N.: Agent-Oriented Software Engineering. In: Proceedings of the 20th Intl. Conf. on Industrial and Engineering Applications of Artificial Intelligence, pp. 4–10 (1999)
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. 1878, pp. 2–21. Springer, Heidelberg (2000)
Lind, J.: MASSIVE: Software Engineering for Multiagent Systems, PhD Thesis, university of Saarland (2000)
MDA – Model Driven Architecture, http://www.omg.org/mda/
Parunak, H., Odell, J.: Representing Social Structures in UML. In: Proceedings of Agent Oriented Software Engineering, pp. 1-16 (2001)
Perini, A., Pistore, M., Roveri, M., Susi, A.: Agent-oriented modelling by interleaving formal and informal specification. In: Giorgini, P., Müller, J.P., Odell, J.J. (eds.) AOSE 2003. LNCS, vol. 2935, pp. 36–52. Springer, Heidelberg (2004)
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. 9(1-2), pp. 145–189. Kluwer Academic Publishers, Dordrecht (2004)
Silva, V., Garcia, A., Brandão, 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. 2603. Springer, Heidelberg (2003)
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
UML – The Unified Modelling Language, http://www.omg.org/uml/
Wagner, G.: The Agent-Object-Relationship Metamodel: Towards a Unified View of State and Behaviour. Information Systems 28(5), 475–504 (2003)
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. 1957, pp. 207–221. Springer, Heidelberg (2001)
Wooldridge, M., Jennings, N., Kinny, D.: The Gaia methodology for Agent-Oriented Analysis and Design. Journal of Autonomous Agents and Multi-Agent Systems 3, 285–312 (2000)
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. 1957, pp. 1–28. Springer, Heidelberg (2001)
Wooldridge, M., Ciancarini, P.: Agent-Oriented Software Engineering. In: Chang, S.K. (ed.) Handbook of Software Engineering & Knowledge Engineering Fundamentals, vol. 1 (2001)
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. 1957, pp. 235–251. Springer, Heidelberg (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Brandão, A.A.F., Alencar, P., de Lucena, C.J.P. (2005). AgentZ: Extending Object-Z for Multi-agent Systems Specification. In: Bresciani, P., Giorgini, P., Henderson-Sellers, B., Low, G., Winikoff, M. (eds) Agent-Oriented Information Systems II. AOIS 2004. Lecture Notes in Computer Science(), vol 3508. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11426714_9
Download citation
DOI: https://doi.org/10.1007/11426714_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25911-4
Online ISBN: 978-3-540-31946-7
eBook Packages: Computer ScienceComputer Science (R0)