Abstract
Many of agent systems concepts are proposed in last decade. Most of them are inspired from the approach or discipline upon which they are based. Some of these concepts are developed based on the approach of extending existing Object Oriented concepts to include the relevant aspects of agents. Others are developed based on agent-based concepts or based on knowledge engineering concepts. The difference between disciplines of knowledge is causing the misunderstanding of some concepts that relate to agent systems, as well as some inconsistencies. In this paper, a conceptual formal framework is constructed to determine the essential MAS concepts and to reduce the possible turmoil and define the relationships among those concepts. The proposed framework is well-structured formal system that was constructed to ensure that the proposed MAS conceptual system is logically coherent and free of contradiction. Z language is used to represent this formal system.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Abdelaziz, T.M., Elammari, M., Unland, R., Branki, C.: MASD: Multi-Agent Systems Development Methodology. Multi-agent and Grid Systems Journal (February 2010) ISSN 1574-1702
Abdelaziz, T.M., Unland, R., Elammari, M.: A Framework for the Evaluation of Agent-oriented Methodologies. In: 4th Int. Conf. on Innovations in IT, Dubai, UAE (2008)
Bauer, B., Odell, J.: UML 2.0 and agents: how to build agent-based systems with the new UML standard. Journal of Engineering Applications of AI 18 (2) (2005)
Bowen, J.: Formal Specification and Documentation using Z: A Case Study Approach (2003), For further on-line information see, http://www.afm.sbu.ac.uk/zbook/
Bresciani, P., Giorgini, P., Giunchiglia, F., Mylopoulos, J., Perini, A.: Tropos: An agent-oriented software development methodology, Technical Report DIT-02-0015, Uni. of Trento, Dep. of Information and Communication Technology (2002)
Caire, G., Leal, F., Chainho, P., Evans, R., Jorge, F.G., Pavon, J.G., Kearney, P., Stark, J., Massonet, P.: Methodology for agent-oriented software engineering, Technical Information Final version, European Institute for Research and Strategic Studies in Telecommunications (EURESCOM), Project, p. 907 (2001)
Dam, K.H., Winikoff, M.: Comparing Agent-Oriented Methodologies. In: The International Bi-Conference Workshop on Agent-Oriented Information Systems, AOIS (2003)
Dastani, M.: AgentLink-III Technical Forum Group, PROMAS, Report (2004)
DeLoach, S.A.: The MaSE Methodology. In: The Agent- Oriented Software Engineering Handbook Series: Multi-agent Systems, Artificial Societies, and Simulated Organizations, vol. 11, Springer, Heidelberg (2004)
Elammari, M., Lalonde, W.: An Agent-Oriented Methodology: High-Level and Intermediate Models HLIM. In: Proceedings of AOIS, Heidelberg (1999)
Hayes, I.J. (ed.): Specification Case Studies, 2nd edn. Prentice Hall International Series in Computer Science (1993)
Luck, M., McBurney, P., Preist, C.: Agent Technology: Enabling Next Generation Computing (A Roadmap for Agent Based Computing), AgentLink (2005)
Padgham, L., Winikoff, M.: Prometheus: A methodology for developing intelligent agents. In: Third International Workshop on Agent-Oriented Software Engineering (2002)
Spivey, J.M.: The Z Notation: A Reference Manual, 2nd edn. Prentice Hall International Series in Computer Science (1992)
Sturm, A., Shehory, O.: A Framework for Evaluating Agent-Oriented Methodologies. In: Workshop on Agent-Oriented Information System (AOIS), Melbourne, Australia, AOIS (2003)
Wooldridge, M.J., Jennings, N.R., Kinny, D.: The Gaia methodology for agent-oriented analysis and design. Autonomous Agents and Multi-Agent Systems 3(3) (2000)
Wooldridge, M.: The Logical Modelling of Computational Multi-Agent Systems, PhD thesis, Department of Computation, UMIST, Manchester, UK (1992)
Wooldridge, M.: Introduction to Multi-agent Systems. John Wiley and Sons, Chichester (2002)
Zambonelli, F., Jennings, N.R., Wooldridge, M.: Developing multi-agent systems: The Gaia methodology. ACM Transactions on Software Engineering and Methodology 12(3), 317–370 (2003)
Z archive, Oxford University Computing Laboratory (1995), http://www.zuser.org/z/
Z FORUM, Oxford University Computing Laboratory, 1986 onwards. Electronic mailing list: vol. 1, 1–9 (1986), vol. 2, 1–4 (1987), vol. 3, 1–7 (1988), vol. 4, 1–4 (1989), vol. 5, 1–3 (1990)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Abdelaziz, T.M. (2011). Conceptual Framework for Formalizing Multi-Agent Systems. In: Zain, J.M., Wan Mohd, W.M.b., El-Qawasmeh, E. (eds) Software Engineering and Computer Systems. ICSECS 2011. Communications in Computer and Information Science, vol 181. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22203-0_55
Download citation
DOI: https://doi.org/10.1007/978-3-642-22203-0_55
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22202-3
Online ISBN: 978-3-642-22203-0
eBook Packages: Computer ScienceComputer Science (R0)