Abstract:This paper presents an approach to model Multi-Agent Systems (MASs) for design by Belief-Desire-Intention (BDI) Structure. The objective of modeling for design is to model concretely the structure of every type of agent, which takes on the roles of a Multi-Agent Organization, so as to realize the MASs in existing programming environment easily. In this modeling method, each type agent needs three models: Agent Model, Interaction Model and Acquaintance Model. Agent Model consists of three sub-models: Belief Model, Goal Model and Planning Model, which is built according to the role models and cooperative working process models obtained from agent-oriented analysis phase. Each agent in MASs is an instance of some type of agent in Agent Model. Interaction Model specifies the detail of interaction between agents, such as interactive protocols, interactive language, interactive constrains, and so on. Acquaintance Model specifies all acquaintance and their properties for each type of agent. Now through this modeling approach, an effective application system, called Multiply Agent Equipment preparing Decision Support System (MAEDSS) , has been developed on a cooperative working platform MBOS.

Application of event B to modelling multiagent interactions

A Mobile-Agents-Based Framework For Building Meeting Arrangement System

Multi-component Agent Based Collaborative Design System

An Event and Service Interacting Model and Event Detection Based on the Broker/Service Model.

Formal Multi-Agent Systems Model With Application To Electronic Commerce

Formal Modelling And Verifying Of Intellectualized Information Management System Using Event-B

Research on Design and Modeling Technique for Complicated Systems Based BDI Agents

Formal Modeling Methodology for Multi-Agent Systems

A Multi-Agent System Based On Eca Rule

Event-B at Work: Some Lessons Learnt from an Application to a Robot Anti-collision Function.

An Event Bridge Framework for Modeling and Simulating Networked Hybrid Dynamic Behaviors

Caste-Centric Modelling of Multi-Agent Systems: The CAMLE Modelling Language and Automated Tools

Multi-agent complex system model based on BDI

Developing Formal Specifications of MAS in SLABS -- A Case Study of Evolutionary Multi-Agent Ecosystem.

On Modeling and Analyzing Multi-Agent Systems Using Π-Calculus

A Formal Specification and Method for MAS as a Distributed System

A Formal Model of Multi-Agent Collaborative Systems

Modeling Mobility Agents in Supervisory and Controlling Systems Based on Nets Within Nets

Modelling, Analysis and Control of Multi-Agent Systems: A Brief Overview.

Distributed Dynamic Event-Based Control for Nonlinear Multi-Agent Systems

Modelling Multi-agent Systems with Soft Genes, Roles, and Agents