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 条
  • [31] Reasoning about Multi-Agent Systems Using Stochastic Petri Nets
    Lopes, Bruno
    Benevides, Mario
    Haeusler, Edward Hermann
    TRENDS IN PRACTICAL APPLICATIONS OF AGENTS, MULTI-AGENT SYSTEMS AND SUSTAINABILITY: THE PAAMS COLLECTION, 2015, 372 : 75 - 86
  • [32] Constraint-based agent specification for a multi-agent stock brokering system
    Ooi, BH
    Ghose, AK
    MULTIPLE APPROACHES TO INTELLIGENT SYSTEMS, PROCEEDINGS, 1999, 1611 : 409 - 419
  • [33] Formal Specification and Verification of Real-Time Multi-Agent Systems using Timed-Arc Petri Nets
    Qasim, Awais
    Kazmi, Syed Asad Raza
    Fakhir, Ilyas
    ADVANCES IN ELECTRICAL AND COMPUTER ENGINEERING, 2015, 15 (03) : 73 - 78
  • [34] COLORED PETRI NET SPECIFICATION OF MULTI-AGENT SYSTEM BEHAVIOUR TO TACKLE THE VEHICLE ROUTING PROBLEM
    Busquets, Sonia
    Angel Piera, Miquel
    Jose Ramos, Juan
    Guasch, Toni
    INTERNATIONAL MEDITERRANEAN MODELLING MULTICONFERENCE 2006, 2006, : 481 - +
  • [35] GENERATING PARALLEL APPLICATIONS FROM MODELS BASED ON PETRI NETS
    Bohm, Stanislav
    Behalek, Marek
    ADVANCES IN ELECTRICAL AND ELECTRONIC ENGINEERING, 2012, 10 (01) : 28 - 34
  • [36] Multi-agent system specification using TCOZ
    Miller, T
    McBurney, P
    MULTIAGENT SYSTEM TECHNOLOGIES, PROCEEDINGS, 2005, 3550 : 216 - 221
  • [37] Specification and verification of knowledge in a multi-agent system
    Bagic, Marina
    Ciglaric, Mojca
    PROCEEDINGS OF THE 16TH IASTED INTERNATIONAL CONFERENCE ON APPLIED SIMULATION AND MODELLING, 2007, : 168 - +
  • [38] Robotic System Specification Methodology Based on Hierarchical Petri Nets
    Figat, Maksym
    Zielinski, Cezary
    IEEE ACCESS, 2020, 8 (08): : 71617 - 71627
  • [39] Object-Oriented Petri nets Based Architecture Description Language for Multi-agent Systems
    Yu, Zhenhua
    Cai, Yuanli
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2006, 6 (1B): : 123 - 131
  • [40] Architecture description language based on object-oriented Petri nets for multi-agent systems
    Yu, ZH
    Li, ZW
    2005 IEEE NETWORKING, SENSING AND CONTROL PROCEEDINGS, 2005, : 256 - 260
12345