Towards a formal methodology for designing multi-agent applications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3550 LNAI, Issue , 2005, Pages 153-164

  Regayeg, Amira ^a   Kacem, Ahmed Hadj ^a   Jmaiel, Mohamed ^b  

^a UNIVERSITY OF SFAX   (Tunisia)

^b UNIVERSITY OF SFAX   (Tunisia)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; COMPUTER NETWORKS; COMPUTER PROGRAMMING LANGUAGES; FORMAL LANGUAGES; NETWORK PROTOCOLS;

COORDINATION PROTOCOLS; MULTI-AGENT APPLICATIONS; ORGANIZATION STRUCTURE;

MULTI AGENT SYSTEMS;

EID: 33646034317     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11550648_14     Document Type: Conference Paper

References (23)

1. D. Bjorner. New results and trends in formal techniques for the development of software for transportation systems. In G. Tarnai and E. Schnieder, editors, Proceedings of the FORMS2003: Symposium on Formal Methods for Railway Operation and Control Systems, pages 69-76, Braunschweig, Germany, 1999.
2. S. Deloach and M. Wood. 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.
3. F. Erasmy and E. Sekerinski. Stepwise refinement of control software-a case study using raise. In M. Naftalin, T. Denvir, and M. Bertran, editors, FME'94: Industrial Benefit of Formal Methods, pages 547-566. Springer, Berlin, Heidelberg, 1994.
4. M. Fisher. A survey of concurrent METATEM - the language and its applications. In Proc. 1st International Conf. Temporal Logic, Lecture Notes in Computer Science, pages 480-505. Springer-Verlag, 1994.
5. N. Glaser. The comomas methodology and enironment for multi-agent system development. In DAI, pages 1-16, 1996.
6. C.A. Hoare. Communicating Sequential Processes. Prentice Hall International, 1985.
7. G.J. Holzmann. The Spin Model Checker: Primer and Reference Manual. Addison-Wesley, 2003.
8. M. Jmaiel and P. Pepper. Development of communication protocols using algebraic and temporal specifications. Computer Networks Journal, 42:737-764, 2003.
9. M. Loulou, A. Hadj-Kacem, and M. Jmaiel. Formalization of cooperation in MAS: Towards a generic conceptual model. In The IX Ibero-American Conference on Artificial Intelligence (IBERAMIA 2004), volume 3315 of Lecture Notes in Artificial Intelligence, pages 43-52. Springer-Verlag, 2004.
10. M. Luck and M. d'Inverno. A formal framework for agency and autonomy. In Proceedings of the first international conference on Multi-Agent Systems, pages 254-260. AAAI Press/MIT Press, 1995.
11. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, 1992.
12. I. Meisels and M. Saaltink. The Z/EVES 2.0 reference manual. Technical Report TR-99-5493-03e, ORA Canada, Canada, 1999.
13. A. Omicini. Soda: Societies and infrastructures in the analysis and design of agent-based systems. In AOSE, pages 185-193, 2000.
14. L. Padgham and M. Winikoff. Prometheus: A methodology for developing intelligent agents. In AOSE, pages 174-185, 2002.
15. A. Regayeg, A. Hadj-Kacem, and M. Jmaiel. Specification and Verification of Multi-Agent Applications using Temporal Z. In Proceedings of IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'04), pages 260-266, Beijing, China, September 2004.
16. A. Regayeg, A. Hadj-Kacem, and M. Jmaiel. 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'05), Cairo, Egypt, January 2005.
17. D. Sannella. Algebraic specification and program development by stepwise refinement. In Proc. 9th Intl. Workshop on Logic-based Program Synthesis and Transformation, LOPSTR'99, volume 1817 of Lecture Notes in Computer Science, pages 1-9. Springer, 2000.
18. M. Spivey. The Z notation (second edition). Prentice Hall International, 1992.
19. M. Wooldridge, N. Jenning, and D. Kinny. The Gaia methodology for agent-oriented analysis and design. Autonomous Agents, 3, 2000.
20. M. Wooldridge, N. R. Jennings, and D. Kinny. A methodology for agent-oriented analysis and design. In Oren Etzioni, Jörg P. Müller, and Jeffrey M. Bradshaw, editors, Proceedings of the Third International Conference on Autonomous Agents (Agents'99), pages 69-76, Seattle, WA, USA, 1999. ACM Press.
21. H. Xu and S. M. Shatz. A framework for model-based design of agent-oriented software. IEEE Transactions on Software Engineering, 29(1):15-30, January 2003.
22. F. Zambonelli and A. Omicini. Challenges and research directions in agent-oriented software engineering. Autonomous Agents and Multi-Agent Systems, 9(3):253-283, 2004.
23. H. Zhu. A formal specification language for agent-oriented software engineering. In Proceedings of AAMAS'2003, pages 1174-1175, Melbourne, Australia, 2003.