A Pattern based Modelling for Self-organizing Multi-agent Systems with Event-B

Zeineb Graja, Frederic Migeon, Christine Maurel, Marie-Pierre Gleizes, Linas Laibinis, Amira Regayeg, Ahmed Hadj Kacem

2014

Abstract

Self-Organizing Multi-Agent Systems (SO-MAS) are defined as a set of autonomous entities called agents interacting together in order to achieve a given task. Generally, the development process of these systems is based on the bottom-up approach which focuses on the design of the entities individual behavior. The main question arising when developing SO-MAS is how to insure that the designed entities, when interacting together, will give rise to the desired behavior? Our proposition to deal with this question is to use formal methods. We propose a correct by construction method for systematic design of SO-MAS based on the use of design patterns and formal stepwise refinements. Our work gives guidelines to assist the designer when developing the individual behavior of the entities and prove its correctness at the early stages of the design process. The method is illustrated with the foraging ants’ case study.

Paper Citation

in Harvard Style

Graja Z., Migeon F., Maurel C., Gleizes M., Laibinis L., Regayeg A. and Hadj Kacem A. (2014). A Pattern based Modelling for Self-organizing Multi-agent Systems with Event-B . In Proceedings of the 6th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-758-016-1, pages 229-236. DOI: 10.5220/0004906902290236

in Bibtex Style

@conference{icaart14,
author={Zeineb Graja and Frederic Migeon and Christine Maurel and Marie-Pierre Gleizes and Linas Laibinis and Amira Regayeg and Ahmed Hadj Kacem},
title={A Pattern based Modelling for Self-organizing Multi-agent Systems with Event-B},
booktitle={Proceedings of the 6th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2014},
pages={229-236},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004906902290236},
isbn={978-989-758-016-1},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - A Pattern based Modelling for Self-organizing Multi-agent Systems with Event-B
SN - 978-989-758-016-1
AU - Graja Z.
AU - Migeon F.
AU - Maurel C.
AU - Gleizes M.
AU - Laibinis L.
AU - Regayeg A.
AU - Hadj Kacem A.
PY - 2014
SP - 229
EP - 236
DO - 10.5220/0004906902290236