Open Fuzzy Synchronized Petri Net: Formal Specification Model for Multi-agent Systems

Open Fuzzy Synchronized Petri Net: Formal Specification Model for Multi-agent Systems

Sofia Kouah (MISC Laboratory, University of Abdelhamid Mehri - Constantine, Constantine, Algeria & Oum El Bouaghi, Algeria), Djamel Eddine Saïdouni (MISC Laboratory, University of Abdelhamid Mehri – Constantine 2, Constantine, Algeria) and Ilham Kitouni (MISC Laboratory, University of Abdelhamid Mehri – Constantine 2, Constantine, Algeria)
Copyright: © 2016 |Pages: 32
DOI: 10.4018/IJIIT.2016010104
OnDemand PDF Download:
$30.00
List Price: $37.50

Abstract

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.
Article Preview

Introduction

Multi-agent system (MAS) can be viewed as a group of sophisticated entities (i.e. agents) that cohabit and interact together in order to achieve a common goal. This paradigm forms an attractive way for conceptualizing, designing and implementing software systems (Sycara, 1998; Nugraheni, 2011). This capacity arises from the diversity characteristics of MAS, among others distribution, openness, dynamicity, autonomy, complex forms of interaction, etc.

While current multi-agent applications are promising, there are still many efforts remains to conceive these systems since they are more complex than conventional object oriented applications (Gómez-Sanz & Pavón, 2002). In fact, the formal stepwise refinement method is a powerful fashion to design such systems. It postulates MAS engineering gradually by starting from initial abstract specification and follows a rigorous refinement process to establish final specification. This later could be translated to code execution.

Thereby, an efficient refinement process relies on formal specification model that should support abstraction, dynamicity, openness, interaction with environment, handle an approximate and uncertain behaviors over steps and converge to code (i.e. decrease uncertainty).

Thus, the paper focuses on formal specification model, where we intend to provide a complete framework in which an incremental MAS design is supported and MAS modeling characteristics are enabled.

A large scale number of formal specification models has been proposed in the literature, among others Z-language (Regayeg, Kacem & Jmaiel, 2005). Petri nets (Celaya, Desrochers & Graves, 2007), colored Petri nets (El Fallah-Seghrouchni, Haddad & Mazouzi, 1999) (Mazouzi, Seghrouchni, & Haddad, 2002), Recursive Petri Nets (RPN for short) (El Fallah-Seghrouchni & Haddad, 1996), Maude (Mokhati, Boudiaf, Badri & Badri, 2007), Logic (Lomuscio & Sergot, 2003 ; Lomuscio & Michaliszyn, 2015), Synchronized Recursive Petri nets (SyPN for short) (Kouah, Saïdouni & Ilié, 2013). A full description of these models have already tackled in (Kouah, Saïdouni & Ilié, 2013). This study has revealed the inability of these specification models behind modeling of at least one of the following characteristics: abstraction and refinement, asynchronous aspects, synchronization between several processes. Such challenge motivates our work.

Complete Article List

Search this Journal:
Reset
Open Access Articles: Forthcoming
Volume 14: 4 Issues (2018): 1 Released, 3 Forthcoming
Volume 13: 4 Issues (2017)
Volume 12: 4 Issues (2016)
Volume 11: 4 Issues (2015)
Volume 10: 4 Issues (2014)
Volume 9: 4 Issues (2013)
Volume 8: 4 Issues (2012)
Volume 7: 4 Issues (2011)
Volume 6: 4 Issues (2010)
Volume 5: 4 Issues (2009)
Volume 4: 4 Issues (2008)
Volume 3: 4 Issues (2007)
Volume 2: 4 Issues (2006)
Volume 1: 4 Issues (2005)
View Complete Journal Contents Listing