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

Summary form only given. This paper presents a formal approach where we adopt a formal specification language which allows us to cover individual agent aspects (knowledge, goals, roles, ...) as well as collective aspects of a multiagent application in terms of coordination protocols, organization st...

Full description

Saved in:
Bibliographic Details
Main Authors: Regayeg, A., Kacem, A.H., Jmaiel, M.
Format: Conference Proceeding
Language:English
Subjects:
Application software
Intelligent agent
Laboratories
Logic
Multiagent systems
Object oriented modeling
Object oriented programming
Petri nets
Protocols
Specification languages
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Summary form only given. This paper presents a formal approach where we adopt a formal specification language which allows us to cover individual agent aspects (knowledge, goals, roles, ...) as well as collective aspects of a multiagent application in terms of coordination protocols, organization structure and planning activities. In this context, we propose a methodology based on stepwise refinements allowing to develop a design specification starting from an abstract requirements specification. We illustrate our approach by developing a multiagent solution for the pursuit problem.
ISSN:2161-5322
2161-5330
DOI:10.1109/AICCSA.2005.1387112