Specification and verification of multi-agent applications using temporal Z

Proceedings - IEEE/WIC/ACM International Conference on Intelligent Agent Technology. IAT 2004

Volumn , Issue , 2004, Pages 260-266

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

^a UNIVERSITY OF SFAX   (Tunisia)

Author keywords

[No Author keywords available]

Indexed keywords

AGENT BASED SPECIFICATION; DOMAIN CHECKING; PURSUIT PROBLEM; TEMPORAL Z;

COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER PROGRAMMING LANGUAGES; CONTROL SYSTEM ANALYSIS; FORMAL LOGIC; MATHEMATICAL MODELS; PROBLEM SOLVING; SEMANTICS; SOFTWARE ENGINEERING; SYNTACTICS;

MULTI AGENT SYSTEMS;

EID: 16244375868     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IAT.2004.1342953     Document Type: Conference Paper

References (9)

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. 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.
4. A. El Fallah. Représentation et manipulation de plans à l'aide des réseaux de Petri. Actes des 2èmes Journées Francophones IAD-SMA, 1994.
5. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, 1991.
6. I. Meiseis and M. Saaltink. The Z/EVES 2.0 reference manual. Technical Report TR-99-5493-03e, ORA Canada, Canada, 1999.
7. 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.
8. Shoham and Yoav. Agent-oriented programming. Artificial Intelligence, 1993.
9. M. Spivey. The Z notation (second edition). Prentice Hall International, 1992.