Application of Fuzzy Labeled Transition System to Contract Net Protocol

Sofia Kouah and Djamel Eddine Saïdouni
Additional contact information
Sofia Kouah: MISC Laboratory, University of Abdelhamid Mehri –Constantine 2, Constantine, Algeria & University of Oum El Bouaghi, Oum El Bouaghi, Algeria
Djamel Eddine Saïdouni: MISC Laboratory, University of Abdelhamid Mehri –Constantine 2, Constantine, Algeria

International Journal of Service Science, Management, Engineering, and Technology (IJSSMET), 2015, vol. 6, issue 3, 27-46

Abstract: For developing large dynamic systems in a rigorous manner, fuzzy labeled transition refinement tree (FLTRT for short) has been defined. This model provides a formal specification framework for designing such systems. In fact, it supports abstraction and enables fuzziness which allows a rigorous formal refinement process. The purpose of this paper is to illustrate the applicability of FLTRT for designing multi agent systems (MAS for short), among others collective and internal agent's behaviors. Therefore, Contract Net Protocol (CNP for short) is chosen as case study.

Date: 2015
References: Add references at CitEc
Citations:

Downloads: (external link)
http://services.igi-global.com/resolvedoi/resolve. ... 8/IJSSMET.2015070103 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:igg:jssmet:v:6:y:2015:i:3:p:27-46

Access Statistics for this article

International Journal of Service Science, Management, Engineering, and Technology (IJSSMET) is currently edited by Ahmad Taher Azar

More articles in International Journal of Service Science, Management, Engineering, and Technology (IJSSMET) from IGI Global
Bibliographic data for series maintained by Journal Editor ().