A Stepwise Refinement Based Development of Self-Organizing Multi-Agent Systems: Application to the Foraging Ants

Graja, Zeineb; Migeon, Frédéric; Maurel, Christine; Gleizes, Marie Pierre; Kacem, Ahmed Hadj

doi:10.1007/978-3-319-14484-9_3

Cited by 9 publications

(4 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Its refinement strategy starts by specifying the global MAS goal, defines the set of agents to carry out this goal, identifies agents' failures and introduces communication model and errors recovery mechanisms. • Alike, by means of Event B specification language, authors in (Graja et al, 2013) have proposed a formal approach for self-organizing MAS where two abstraction levels are considered:…”

Section: Literature Reviewmentioning

confidence: 99%

Open Fuzzy Synchronized Petri Net

Kouah

Saïdouni

Kitouni

2016

International Journal of Intelligent Information Technologies

View full text Add to dashboard Cite

Designing Multi agent systems needs a high-level specification model which supports abstraction, dynamicity, openness and enables fuzziness. Since the model of Synchronized Petri Nets supports dynamicity and abstraction, we extend it by fuzziness, openness and interaction with environment. The proposed model called Open Fuzzy Synchronized Petri Nets (OFSyPN for short) associates action name with transitions and enables openness feature and interaction with environment. Each action has an uncertainty degree and places are typed. The authors give an operational semantics for OFSyPN in terms of Fuzzy Labeled Transition System (FLTS for short). FLTS is a semantics model, which allows a concise action refinement representation and deals with incomplete information through its fuzziness representation. Furthermore the structure can be used to produce a tree of potential concurrent design trajectories, named fuzzy labeled transition refinement tree (FLTRT for short). We exemplify the OFSyPN model thought a case study.

show abstract

Section: Literature Reviewmentioning

confidence: 99%

Open Fuzzy Synchronized Petri Net

Kouah

Saïdouni

Kitouni

2016

International Journal of Intelligent Information Technologies

View full text Add to dashboard Cite

show abstract

“…In the same context of Event B specification language, authors in (Graja et al, 2013) propose a formal approach for self-organizing MAS where two abstraction levels are considered: micro level which corresponds to agent local behavior and macro level which corresponds to the global behavior of MAS. The refinement strategy starts at first side, by building the local behavior of agents, and then it is extended to the global properties.…”

Section: Definition13 (Flts Strong Bisimulationmentioning

confidence: 99%

Fuzzy Labeled Transition Refinement Tree

Kouah

Saïdouni

2014

International Journal of Agent Technologies and Systems

View full text Add to dashboard Cite

This paper aims to provide a formal framework that supports an incremental development of dynamic systems such as multi agents systems (MAS). We propose a fuzzy labeled transition system model (FLTS for short). FLTS allows a concise action refinement representation and deals with incomplete information through its fuzziness representation. Afterward, based on FLTS model, we propose a refinement model called fuzzy labeled transition refinement tree (FLTRT for short). The FLTRT structure serves as a tree of potential concurrent design trajectories of the system. Also, we introduce bisimulation relations for both models in order to identify equivalent design trajectories, which could be assessed with respect to relevant design parameters.

show abstract

“…In the same context of Event B specification language, authors in [8] propose a formal approach for self-organizing MAS. [9] Addresses a top-down approach for MAS protocol description using Finite State Automata (FSA) and multi-Role Interaction (mRI) abstraction. We don't forget the work [11] in which MAS are specified by AgLOTOS.…”

Section: Introductionmentioning

confidence: 99%