SUPPORTING FORMAL VERIFICATION OF DIMA MULTI-AGENTS MODELS: TOWARDS FRAMEWORK BASED ON MAUDE MODEL CHECKING

被引：6

作者：

Boudiaf, Noura ^{[1
]}

Mokhati, Farid ^{[1
]}

Badri, Mourad

机构：

[1] Univ Oum El Bouaghi, Dept Comp Sci, Oum El Bouaghi, Algeria

来源：

INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING | 2008年 / 18卷 / 07期

关键词：

Multi-agents systems; quality assurance; DIMA model; formal specification; rewriting logic; Maude; behavior; verification; model checking;

D O I：

10.1142/S021819400800391X

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Model Checking based verification techniques represent an important issue in the field of concurrent systems quality assurance. The lack of formal semantics in the existing formalisms describing multi-agents models combined with multi-agents systems complexity are sources of several problems during their development process. The Maude language, based on rewriting logic, offers a rich notation supporting formal specification and implementation of concurrent systems. In addition to its modeling capacity, the Maude environment integrates a Model Checker based on Linear Temporal Logic (LTL) for distributed systems verification. In this paper, we present a formal and generic framework (DIMA-Maude) supporting formal description and verification of DIMA multi-agents mode.

引用

页码：853 / 875

页数：23

共 50 条

[1] Specifying DIMA multi-agents models using Maude
Boudiaf, N
Mokhati, F
Badri, M
Badri, L
INTELLIGENT AGENTS AND MULTI-AGENT SYSTEMS, 2005, 3371 : 29 - 42
[2] A contribution to the formal checking of multi-agents systems
Belala, F.
Boucherit, A.
2006 IEEE INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, VOLS 1-3, 2006, : 9 - +
[3] A Stream Reasoning framework based on a Multi-Agents model
Mebrek, Wafaa
Bouzeghoub, Amel
PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), 2020, : 509 - 512
[4] Formal Verification of Mobile Orchestration Agents Model checking for orchestration verification
Mahmoudi, Charif
Mourlin, Fabrice
2017 INTERNATIONAL CONFERENCE ON WIRELESS TECHNOLOGIES, EMBEDDED AND INTELLIGENT SYSTEMS (WITS), 2017,
[5] Formal Model for Coordination in Multi-Agents System Based Petri Net Agent
Louhichi, Walid
Marzougui, Borhen
Hassine, Khaled
2017 INTERNATIONAL CONFERENCE ON SMART, MONITORED AND CONTROLLED CITIES (SM2C), 2017, : 134 - 137
[6] Formal verification of probabilistic SystemC models with statistical model checking
Van Chan Ngo
Legay, Axel
JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2018, 30 (03)
[7] A Checking Consistency Framework Based on Multi-View Models Towards Business Process Model Repository
Sun, Lei
Cai, Hongming
Jiang, Lihong
2012 NINTH IEEE INTERNATIONAL CONFERENCE ON E-BUSINESS ENGINEERING (ICEBE), 2012, : 350 - 355
[8] A formal framework of reconfigurable control based on model checking
Hu, He-xuan
Gehin, Anne-lise
Bayart, Mireille
2008 AMERICAN CONTROL CONFERENCE, VOLS 1-12, 2008, : 4324 - 4329
[9] Emergency Decision-supporting System Based on Multi-Agents Negotiation
Gong, Qian-sheng
PROCEEDINGS OF THE 5TH INTERNATIONAL ASIA CONFERENCE ON INDUSTRIAL ENGINEERING AND MANAGEMENT INNOVATION (IEMI2014), 2015, : 49 - 53
[10] A framework for cooperative segmentation based on the multi-agents paradigm.
Pithon, L
Bouakaz, S
Hassas, S
VISUAL COMMUNICATIONS AND IMAGE PROCESSING 2001, 2001, 4310 : 135 - 143

← 1 2 3 4 5 →