Towards a formal methodology for developing multi-agent applications using temporal Z

3rd ACS/IEEE International Conference on Computer Systems and Applications, 2005

Volumn 2005, Issue , 2005, Pages 679-686

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

^a UNIVERSITY OF SFAX   (Tunisia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; ENTERPRISE RESOURCE PLANNING; FORMAL LANGUAGES; NETWORK PROTOCOLS; PROBLEM SOLVING;

ABSTRACT REQUIREMENTS; DESIGN SPECIFICATION; MULTI-AGENT APPLICATIONS; ORGANIZATION STRUCTURE;

MULTI AGENT SYSTEMS;

EID: 33746506680     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/AICCSA.2005.1387112     Document Type: Conference Paper

References (22)

1. M. Barbuceanu and M. Fox. A language for describing coordination in MAS. International Conference on Multi-Agent Systems, 1995.
2. P. R. Cohen and H. J. Levesque. Intention is choice with commitment. Artificial Intelligence, pages 213-261, 1990.
3. W. H. E. Davies and P. Edwards. Agent-K: An Integration of AOP and KQML. In T. Finin and Y. Labrou, editors, Proceedings of the CIKM'94 Workshop on Intelligent Agents, Gaithersburg, MD, USA, 1994.
4. S. Deloach and M. Wood. An overview of the multiagent systems engineering methodology. In Proceedings of the first international workshop on agent oriented software engineering, Limerick, Ireland, 2000.
5. 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.
6. M. d'Inverno, D. Kinny, M. Luck, and M. Wooldridge. A formal specification of dMARS. In Intelligent Agents IV: Proceedings of the Fourth International Workshop on Agent Theories, Architectures and Languages, 1998.
7. A. E. Fallah. Représentation et manipulation de plans à l'aide des réseaux de Petri. Actes des 2èmes Journées Francophones IAD-SMA, 1994.
8. F. Giunchiglia, J. Mylopoulos, and A. Perini. The Tropos development methodology: Processes, models and diagrams. In Proceedings of the 2002 Autonomous Agent and Multi-Agent Systems, Bologna, Italy, 2002.
9. M. Jmaiel and P. Pepper. Development of communication protocols using algebraic and temporal specifications. Computer Networks Journal, 42:737-764, 2003.
10. S. King. Z and the refinement calculus. In D. Bjorner, C. A. R. Hoare, and H. Langmaak, editors, VDM and Z - Formal Methods in Software Development in Lecture Notes in Computer Science, volume 428, pages 164-188, 1990.
11. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, 1992.
12. M. Papasimeon and C. Heinze. Specifying requirements in a multi-agent system with Use Cases. In Pacific Rim International Workshop on Multi-agent systems (PRIMA 2000), pages 128-142, 2000.
13. B. Potter, J. Sinclair, and D. Till. An Introduction to forùmal specification and Z. Prentice Hall, 1996.
14. A. Regayeg, A. HadjKacem, 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.
15. Shoham and Yoav. Agent-oriented programming. Artificial Intelligence, 1993.
16. G. Smith and J. Derrick. Refinement and verification of concurrent systems specified in Object-Z and CSP. In M. Hinchey and S. Liu, editors, Proceedings of First IEEE International Conference on Formal Engineering Methods (ICFEM '97). IEEE Computer Society, 1997.
17. G. Smith and J. Derrick. Specification, refinement and verification of concurrent systems - an integration of object-z and csp. Technical report, 2001.
18. M. Spivey. The Z notation (second edition). Prentice Hall International, 1992.
19. Thomas and S. Rebecca. The PLACA agent programming language. In Proceedings of the 1994 Workshop on Agent Theories, Architectures, and Languages, 1995.
20. V. Von. An Integration of Z and Timed CSP for specifying Real-Time Embedded Systems. PhD thesis, 2002.
21. J. Woodcock and J. Davies. Using Z: Specification, Refinement and Proof. Prentice Hall, 1996.
22. M. Wooldridge, N. Jenning, and D. Kinny. The Gaia methodology for agent-oriented analysis and design. Autonomous Agents, 3, 2000.