Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets

被引：5
|
作者：
Boucherit, Ammar [1 ,2 ]
Khababa, Abdallah [1 ]
Castro, Laura M. [3 ]
机构：
[1] Univ Ferhat Abbas Setif, Comp Sci Dept, Setif, Algeria
[2] Univ Echahid Hamma Lakhdar, Comp Sci Dept, El Oued, Algeria
[3] Univ A Coruna, Comp Sci Dept, La Coruna, Spain
来源：
MULTIAGENT AND GRID SYSTEMS | 2018年 / 14卷 / 04期
关键词：
Automatic code generation; multi-agent systems; Petri nets; rewriting logic;
D O I：
10.3233/MGS-180298
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
On one hand, Petri nets are widely used as a modeling formalism to assess both structural and behavioral properties of the multi-agent system bacause of their mathematical foundations and the rich underlying analysis tools has developed around them. On the other hand, Maude is a very powerful formal specification language based on rewriting logic that is known as a unifying framework for different types of Petri nets and offers a wide range of analysis techniques. In this paper, we will present a new algorithm allowing the automatic generation of Maude specifications from Petri nets models in order to help designers to effectively obtain the rewriting logic based specification of their multi-agent systems and then facilitate their analysis, pick up time and stay away from human related errors occurred during the manual preparation of such specification.
引用
收藏
页码：403 / 418
页数：16
相关论文
共 50 条
  • [21] On multi-agent systems specification via Deontic Logic
    Lomuscio, A
    Sergot, M
    INTELLIGENT AGENTS VIII: AGENT THEORIES, ARCHITECTURES, AND LANGUAGES, 2002, 2333 : 86 - 99
  • [22] Modelling of a multi-agent supply chain management system using Colored Petri Nets
    Fierro, Luis H.
    Cano, Ruth E.
    Garcia, Jose I.
    INTERNATIONAL CONFERENCE ON INDUSTRY 4.0 AND SMART MANUFACTURING (ISM 2019), 2020, 42 : 288 - 295
  • [23] Modular Modelling for Urban Traffic Networks based on Multi-Agent Systems and Petri Nets
    Flores-Geronimo, M.
    Hernandez-Martinez, E.G.
    Ferreira-Vazquez, E.D.
    Flores-Godoy, J.J.
    Fernandez-Anaya, G.
    2018 20th Congreso Mexicano de Robotica, COMRob 2018, 2019,
  • [24] Modular Modelling for Urban Traffic Networks based on Multi-Agent Systems and Petri Nets
    Flores-Geronimo, M.
    Hernandez-Martinez, E. G.
    Ferreira-Vazquez, E. D.
    Flores-Godoy, J. J.
    Fernandez-Anaya, G.
    2018 XX CONGRESO MEXICANO DE ROBOTICA (COMROB), 2018,
  • [25] Petri net and rewriting logic based formal analysis of multi -agent based safety -critical systems
    Boucherit, Ammar
    Castro, Laura M.
    Khababa, Abdallah
    Hasan, Osman
    MULTIAGENT AND GRID SYSTEMS, 2020, 16 (01) : 47 - 66
  • [26] Logic-based specification and verification of homogeneous dynamic multi-agent systems
    Riccardo De Masellis
    Valentin Goranko
    Autonomous Agents and Multi-Agent Systems, 2020, 34
  • [27] Logic-based specification and verification of homogeneous dynamic multi-agent systems
    De Masellis, Riccardo
    Goranko, Valentin
    AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2020, 34 (02)
  • [28] Specification and construction of multi-agent system based on software architecture
    Zhan, Jian-Feng
    Cheng, Hu
    Ruan Jian Xue Bao/Journal of Software, 2002, 13 (SUPPL.): : 134 - 137
  • [29] Strategies for multi-agent coordination in a grid world using Petri nets
    Nunes Goncalves, Eder Mateus
    Bittencourt, Guilherme
    COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, 2006, 3900 : 414 - 419
  • [30] A METHODOLOGY FOR MODELING MULTI-AGENT SYSTEMS USING NESTED PETRI NETS
    Chang, Lily
    He, Xudong
    Shatz, Sol M.
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2012, 22 (07) : 891 - 925
12345