Formal specification of multi-agent systems: approach based on meta-models and high-level Petri nets - case study of a transportation system

Published 27 August 2003

Hassane Abouaïssa, Joly Nicolas, Amar Benasser, E. Czesnalowicz

DOI10.1109/icsmc.2002.1176397

Citations9

TL;DR

A formal approach for specification, analysis and performance evaluation of multi-agent systems (MAS) based on the joint uses of the meta-models, based on roles and organization notions, and high-level Petri nets is presented.

Abstract

The purpose of this paper is to present a formal approach for specification, analysis and performance evaluation of multi-agent systems (MAS). Such approach is based on the joint uses of the meta-models, based on roles and organization notions, and high-level Petri nets. The combination of the high-level Petri nets and ML language into a Design/CPN tool, allows as to obtain directly executable models for simulation and performance evaluation. All the concepts of this approach are illustrated by a case study concerning the use of the agent's paradigm for the modelling and formal specification of a multi-modal platform associating combined rail-road transportation systems.

Keywords

Computer ScienceBusiness, Management and Accounting

HAL (Le Centre pour la Communication Scientifique Directe)Multi-Agent Systems: An Introduction to Distributed Artificial Intelligence

2,643 Citations1999Jacques Ferber

Jacques Ferber's authoritative book is the first to provide a single, coherent overview of multi-agent systems, and introduces and defines key concepts throughout the text.

Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use

2,007 Citations2011Kurt Jensen

A meta-model for the analysis and design of organizations in multi-agent systems

734 Citations2002Jacques Ferber, Olivier Gutknecht

A meta-model of artificial organization by which one can build multi-agent systems with different forms of organizations such as market-like and hierarchical organizations is presented, which allows for agent heterogeneity in languages, applications and architectures.

Extending UML for agents

505 Citations2000James Odell, H. v. D. Paranuk +1 more

This paper illustrates the approach by presenting a three-layer AUML representation for agent interaction protocols and concludes by including other useful agent-based extensions to UML.

Lecture notes in computer scienceFormal Specification and Prototyping of Multi-agent Systems

103 Citations2000Vincent Hilaire, Abderrafìâa Koukam +2 more

This paper presents a multi agent-oriented prototyping approach based on a multi-formalism approach that allows for a simple description of both individual and collective multi-agent system aspects.

International Journal of Cooperative Information SystemsOn the Formal Specification and Verification of Multi-Agent Systems

100 Citations1997Michael Fisher, Michael Wooldridge

This article describes first steps towards the formal specification and verification of multi-agent systems, through the use of temporal belief logics, and develops a logic that may be used to reason about Concurrent METATEM systems.

Lecture notes in computer scienceMulti-agent-systems based on coloured Petri nets

88 Citations1997Daniel Moldt, Frank Wienberg

Based on Y. Shoham's paradigm, multi-agent-systems are presented as a specialization of distributed, Object-Oriented systems, equipped with knowledge, general concurrent inference mechanisms dealing with this knowledge, and a declarative agent program.

Electronic Notes in Theoretical Computer ScienceFormal Specification and Verification of Multi-Agent Systems

15 Citations2005Mustapha Bourahla, Mohamed Benmohamed

It is shown how a well known and effective verification technique, model checking, can be generalized to deal with multi-agent systems, in which each agent is viewed as having the three mental attitudes of belief, desire, and intention.

View PDF