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 条
  • [21] Towards a multi-agents model for errors detection and correction in big data flows
    Snineh, Sidi Mohamed
    Bouattane, Omar
    Youssfi, Mohamed
    Daaif, Abdelaziz
    2019 THIRD INTERNATIONAL CONFERENCE ON INTELLIGENT COMPUTING IN DATA SCIENCES (ICDS 2019), 2019,
  • [22] Dynamic Models for the Formal Verification of Big Data Applications via Stochastic Model Checking
    Mandrioli, Claudio
    Leva, Alberto
    Maggio, Martina
    2018 IEEE CONFERENCE ON CONTROL TECHNOLOGY AND APPLICATIONS (CCTA), 2018, : 1466 - 1471
  • [23] Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework
    Wang, Xiaobing
    Yang, Kun
    Wang, Yanmei
    Zhao, Liang
    Shu, Xinfeng
    STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD (SOFL+MSVL 2019), 2020, 12028 : 73 - 87
  • [24] Towards a Collaborative E-learning Platform Based on a Multi-Agents System
    El Mhouti, Abderrahim
    Nasseh, Azeddine
    Erradi, Mohamed
    2016 4TH IEEE INTERNATIONAL COLLOQUIUM ON INFORMATION SCIENCE AND TECHNOLOGY (CIST), 2016, : 511 - 516
  • [25] COLLISION-MODEL BASED MOTION PLANNER FOR MULTI-AGENTS IN A FACTORY
    Ji, S. H.
    Ko, W. H.
    Nam, K. T.
    Lee, S. M.
    ICINCO 2009: PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON INFORMATICS IN CONTROL, AUTOMATION AND ROBOTICS, VOL 2: ROBOTICS AND AUTOMATION, 2009, : 378 - 382
  • [26] STIG: A Generic Intelligent Tutoring System a Multi-agents Based Model
    Serrhini, Mohammed
    Dargham, Abdelmajid
    PROCEEDINGS OF THE MEDITERRANEAN CONFERENCE ON INFORMATION & COMMUNICATION TECHNOLOGIES 2015 (MEDCT 2015), VOL 2, 2016, 381 : 425 - 433
  • [27] A Security Model for Complex Applications Based on Normative Multi-Agents System
    Cheribi, Haoua
    Kholladi, Mohamed Kheireddine
    2015 SECOND INTERNATIONAL CONFERENCE ON INFORMATION SECURITY AND CYBER FORENSICS (INFOSEC), 2015, : 41 - 46
  • [28] Formal Verification of Hierarchical Ptolemy II Synchronous-Reactive Models with Bounded Model Checking
    Zhang, Xiaozhen
    Yang, Zhaoming
    Kong, Hui
    Kong, Weiqiang
    2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY, QRS, 2022, : 410 - 421
  • [29] Towards the use of a multi-agents event based design to improve reactivity of production systems
    Chebeane, H
    Echalier, F
    COMPUTERS & INDUSTRIAL ENGINEERING, 1999, 37 (1-2) : 9 - 13
  • [30] Hardware design's formal verification based on temporal logic-model checking
    Guo, J.
    Du, H.M.
    Han, J.G.
    Hao, K.G.
    Xiaoxing Weixing Jisuanji Xitong/Mini-Micro Systems, 2001, 22 (05):
12345