loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Zeineb Graja 1 ; Frederic Migeon 2 ; Christine Maurel 2 ; Marie-Pierre Gleizes 2 ; Linas Laibinis 3 ; Amira Regayeg 4 and Ahmed Hadj Kacem 4

Affiliations: 1 University of Sfax and Paul Sabatier University, Tunisia ; 2 Paul Sabatier University, France ; 3 Abo Akademi University, Finland ; 4 University of Sfax, Tunisia

Keyword(s): Self-organizing MAS, Formal Verification, Design Patterns, Refinement, Event-B.

Related Ontology Subjects/Areas/Topics: Agent Models and Architectures ; Agents ; Artificial Intelligence ; Artificial Intelligence and Decision Support Systems ; Distributed and Mobile Software Systems ; Enterprise Information Systems ; Knowledge Engineering and Ontology Development ; Knowledge-Based Systems ; Model-Based Reasoning ; Multi-Agent Systems ; Self Organizing Systems ; Software Engineering ; Symbolic Systems

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 44.200.249.42

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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; ISSN 2184-433X, SciTePress, pages 229-236. DOI: 10.5220/0004906902290236

@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},
issn={2184-433X},
}

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
IS - 2184-433X
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
PB - SciTePress