Abstract
This paper has two purposes. First, it defines a formal language for specifying multi-agent systems. This language is expressive enough to cover individual agent aspects (knowledge, goals, roles, ...) as well as collective aspects of in terms of coordination protocols, organization structure and planning activities. Second, it provides a formal design methodology based on stepwise refinements allowing to develop a design specification starting from an abstract requirements one.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bjorner, D.: New results and trends in formal techniques for the development of software for transportation systems. In: Tarnai, G., Schnieder, E. (eds.) Proceedings of the FORMS2003: Symposium on Formal Methods for Railway Operation and Control Systems, Braunschweig, Germany, pp. 69–76 (1999)
Deloach, S., Wood, M.: Analysis and design using mase and agenttool. In: Proceedings of the 12th Midwest Artificial Intelligence and Cognitive Science Conference MAICS 2001. Miami University. Oxford, Ohio (2001)
Erasmy, F., Sekerinski, E.: Stepwise refinement of control software-a case study using raise. In: Naftalin, M., Bertrán, M., Denvir, T. (eds.) FME 1994. LNCS, vol. 873, pp. 547–566. Springer, Heidelberg (1994)
Fisher, M.: A survey of concurrent MetateM – the language and its applications. In: Gabbay, D.M., Ohlbach, H.J. (eds.) ICTL 1994. LNCS, vol. 827, pp. 480–505. Springer, Heidelberg (1994)
Glaser, N.: The comomas methodology and enironment for multi-agent system development. In: Dickson, L., Zhang, C. (eds.) DAI 1996. LNCS, vol. 1286, pp. 1–16. Springer, Heidelberg (1997)
Hoare, C.A.: Communicating Sequential Processes. Prentice Hall International, Englewood Cliffs (1985)
Holzmann, G.J.: The Spin Model Checker: Primer and Reference Manual. Addison-Wesley, Reading (2003)
Jmaiel, M., Pepper, P.: Development of communication protocols using algebraic and temporal specifications. Computer Networks Journal 42, 737–764 (2003)
Loulou, M., Hadj-Kacem, A., Jmaiel, M.: Formalization of cooperation in MAS: Towards a generic conceptual model. In: Lemaître, C., Reyes, C.A., González, J.A. (eds.) IBERAMIA 2004. LNCS (LNAI), vol. 3315, pp. 43–52. Springer, Heidelberg (2004)
Luck, M., d’Inverno, M.: A formal framework for agency and autonomy. In: Proceedings of the first international conference on Multi-Agent Systems, pp. 254–260. AAAI Press/MIT Press (1995)
Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer, Heidelberg (1992)
Meisels, I., Saaltink, M.: The Z/EVES 2.0 reference manual. Technical Report TR-99-5493-03e, ORA Canada, Canada (1999)
Omicini, A.: Soda: Societies and infrastructures in the analysis and design of agent-based systems. In: Ciancarini, P., Wooldridge, M.J. (eds.) AOSE 2000. LNCS, vol. 1957, pp. 185–193. Springer, Heidelberg (2001)
Padgham, L., Winikoff, M.: Prometheus: A methodology for developing intelligent agents. In: Giunchiglia, F., Odell, J.J., Weiss, G. (eds.) AOSE 2002. LNCS, vol. 2585, pp. 174–185. Springer, Heidelberg (2003)
Regayeg, A., Hadj-Kacem, A., Jmaiel, M.: Specification and Verification of Multi-Agent Applications using Temporal Z. In: Proceedings of IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004), Beijing, China, pp. 260–266 (September 2004)
Regayeg, A., Hadj-Kacem, A., Jmaiel, M.: Towards a formal methodology for developing multi-agent applications using temporal Z. In: The 3rd ACS/IEEE International Conference on Computer Systems and Applications (AICCSA 2005), Cairo, Egypt (January 2005)
Sannella, D.: Algebraic specification and program development by stepwise refinement. In: Bossi, A. (ed.) LOPSTR 1999. LNCS, vol. 1817, pp. 1–9. Springer, Heidelberg (2000)
Spivey, M.: The Z notation, 2nd edn. Prentice Hall International, Englewood Cliffs (1992)
Wooldridge, M., Jenning, N., Kinny, D.: The Gaia methodology for agent-oriented analysis and design. Autonomous Agents 3 (2000)
Wooldridge, M., Jennings, N.R., Kinny, D.: A methodology for agent-oriented analysis and design. In: Etzioni, O., Müller, J.P., Bradshaw, J.M. (eds.) Proceedings of the Third International Conference on Autonomous Agents (Agents 1999), Seattle, WA, USA, pp. 69–76. ACM Press, New York (1999)
Xu, H., Shatz, S.M.: A framework for model-based design of agent-oriented software. IEEE Transactions on Software Engineering 29(1), 15–30 (2003)
Zambonelli, F., Omicini, A.: Challenges and research directions in agent-oriented software engineering. Autonomous Agents and Multi-Agent Systems 9(3), 253–283 (2004)
Zhu, H.: A formal specification language for agent-oriented software engineering. In: Proceedings of AAMAS 2003, pp. 1174–1175, Melbourne, Australia (2003)
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
Regayeg, A., Kacem, A.H., Jmaiel, M. (2005). Towards a Formal Methodology for Designing Multi-agent Applications. In: Eymann, T., Klügl, F., Lamersdorf, W., Klusch, M., Huhns, M.N. (eds) Multiagent System Technologies. MATES 2005. Lecture Notes in Computer Science(), vol 3550. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11550648_14
Download citation
DOI: https://doi.org/10.1007/11550648_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-28740-7
Online ISBN: 978-3-540-28741-4
eBook Packages: Computer ScienceComputer Science (R0)