Towards a formal model of computation for RMAS

被引:2
|
作者
Pirani, Massimiliano [1 ]
Bonci, Andrea [1 ]
Longhi, Sauro [1 ]
机构
[1] Marche Polytech Univ, DII Dept Informat Engn, Via Brecce Bianche 12, I-60131 Ancona, Italy
基金
欧盟地平线“2020”;
关键词
multi-agent systems; automatic programming; programming paradigms; active databases; distributed architectures; CYBER-PHYSICAL SYSTEMS;
D O I
10.1016/j.procs.2022.01.284
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
RMAS is a multi-agent system architecture and associated model of computation that has been recently proposed as promising framework for autonomic computation and as viable implementation means for industrial agents. RMAS is proposed as an effective tool in the realization of the full-fledged concept of cyber-physical systems of systems, in agreement with new visions of the digital future and prominent standardization efforts like the IEC 61499. Currently, there is the need to establish a solid formalism for the model of computation of RMAS in order to harness and fully express its possibilities. In particular, this model should bridge the disciplines of control and systems engineering and computer science, whilst concerning artificial intelligence. This work proposes a first operational step in this direction. A formalism of the RMAS model of computation is established for the first time, and a complete definition of hierarchical nested levels of RMAS units is proposed. This work constitutes the ground for industry-ready technological instances of the RMAS architecture. (C) 2022 The Authors. Published by Elsevier B.V.
引用
收藏
页码:865 / 877
页数:13
相关论文
共 50 条
  • [1] A FORMAL MODEL OF COMPUTATION IN PRODUCTION SYSTEMS
    YAKHNO, TM
    [J]. SOVIET JOURNAL OF COMPUTER AND SYSTEMS SCIENCES, 1988, 26 (05): : 15 - 18
  • [2] Towards a Formal Model of Accountability
    Feigenbaum, Joan
    Jaggard, Aaron D.
    Wright, Rebecca N.
    [J]. PROCEEDINGS OF THE 2011 NEW SECURITY PARADIGMS WORKSHOP (NSPW'11), 2011, : 45 - 55
  • [3] Towards a formal model of CyberRail
    Bjorner, D
    Chiang, P
    Jacobsen, MST
    Hansen, JK
    Madsen, MP
    Penicka, M
    [J]. BUILDING THE INFORMATION SOCIETY, 2004, 156 : 657 - 664
  • [4] A FORMAL DESCRIPTION OF THE IC MODEL OF PARALLEL COMPUTATION
    GOPINATH, B
    SINGH, AK
    UPPALURU, P
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 497 : 520 - 531
  • [5] Towards an OPC UA Compliant Programming Approach with Formal Model of Computation for Dynamic Reconfigurable Automation Systems
    Atmojo, Udayanto Dwi
    Vyatkin, Valeriy
    [J]. 2019 IEEE 17TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2019, : 140 - 146
  • [6] Towards a Formal Model of the Lean Enterprise
    Masai, Pierre
    Parrend, Pierre
    Zanni-Merk, Cecilia
    [J]. KNOWLEDGE-BASED AND INTELLIGENT INFORMATION & ENGINEERING SYSTEMS 19TH ANNUAL CONFERENCE, KES-2015, 2015, 60 : 226 - 235
  • [7] Towards a Formal IoT Security Model
    Martin, Tania
    Geneiatakis, Dimitrios
    Kounelis, Ioannis
    Kerckhof, Stephanie
    Fovino, Igor Nai
    [J]. SYMMETRY-BASEL, 2020, 12 (08): : 1 - 16
  • [8] Towards a Formal Model of Language Networks
    Kirigin, Tajana Ban
    Mestrovic, Ana
    Martincic-Ipsic, Sanda
    [J]. INFORMATION AND SOFTWARE TECHNOLOGIES, ICIST 2015, 2015, 538 : 469 - 479
  • [9] Towards a Formal Model for Cloud Computing
    Benzadri, Zakaria
    Belala, Faiza
    Bouanaka, Chafia
    [J]. SERVICE-ORIENTED COMPUTING - ICSOC 2013 WORKSHOPS, 2014, 8377 : 381 - 393
  • [10] A FORMAL MODEL OF COMPUTATION FOR SENSORY-BASED ROBOTICS
    LYONS, DM
    ARBIB, MA
    [J]. IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 1989, 5 (03): : 280 - 293