Design and Verification of Multi-Agent Systems with the Use of Bigraphs

Widespread access to low-cost, high computing power allows for increased computerization of everyday life. However, high-performance computers alone cannot meet the demands of systems such as the Internet of Things or multi-agent robotic systems. For this reason, modern design methods are needed to...

Full description

Bibliographic Details
Main Authors: Piotr Cybulski, Zbigniew Zieliński
Format: Article
Language:English
Published: MDPI AG 2021-09-01
Series:Applied Sciences
Subjects:
Online Access:https://www.mdpi.com/2076-3417/11/18/8291
id doaj-2aaf72b520344abda9aef12a4ae8835b
record_format Article
spelling doaj-2aaf72b520344abda9aef12a4ae8835b2021-09-25T23:38:57ZengMDPI AGApplied Sciences2076-34172021-09-01118291829110.3390/app11188291Design and Verification of Multi-Agent Systems with the Use of BigraphsPiotr Cybulski0Zbigniew Zieliński1Faculty of Cybernetics, Military University of Technology, ul. gen. S. Kaliskiego 2, 00-908 Warsaw, PolandFaculty of Cybernetics, Military University of Technology, ul. gen. S. Kaliskiego 2, 00-908 Warsaw, PolandWidespread access to low-cost, high computing power allows for increased computerization of everyday life. However, high-performance computers alone cannot meet the demands of systems such as the Internet of Things or multi-agent robotic systems. For this reason, modern design methods are needed to develop new and extend existing projects. Because of high interest in this subject, many methodologies for designing the aforementioned systems have been developed. None of them, however, can be considered the default one to which others are compared to. Any useful methodology must provide some tools, versatility, and capability to verify its results. This paper presents an algorithm for verifying the correctness of multi-agent systems modeled as tracking bigraphical reactive systems and checking whether a behavior policy for the agents meets non-functional requirements. Memory complexity of methods used to construct behavior policies is also discussed, and a few ways to reduce it are proposed. Detailed examples of algorithm usage have been presented involving non-functional requirements regarding time and safety of behavior policy execution.https://www.mdpi.com/2076-3417/11/18/8291multi-agent systemsbigraphsdesignverificationmodelingnon-functional requirements
collection DOAJ
language English
format Article
sources DOAJ
author Piotr Cybulski
Zbigniew Zieliński
spellingShingle Piotr Cybulski
Zbigniew Zieliński
Design and Verification of Multi-Agent Systems with the Use of Bigraphs
Applied Sciences
multi-agent systems
bigraphs
design
verification
modeling
non-functional requirements
author_facet Piotr Cybulski
Zbigniew Zieliński
author_sort Piotr Cybulski
title Design and Verification of Multi-Agent Systems with the Use of Bigraphs
title_short Design and Verification of Multi-Agent Systems with the Use of Bigraphs
title_full Design and Verification of Multi-Agent Systems with the Use of Bigraphs
title_fullStr Design and Verification of Multi-Agent Systems with the Use of Bigraphs
title_full_unstemmed Design and Verification of Multi-Agent Systems with the Use of Bigraphs
title_sort design and verification of multi-agent systems with the use of bigraphs
publisher MDPI AG
series Applied Sciences
issn 2076-3417
publishDate 2021-09-01
description Widespread access to low-cost, high computing power allows for increased computerization of everyday life. However, high-performance computers alone cannot meet the demands of systems such as the Internet of Things or multi-agent robotic systems. For this reason, modern design methods are needed to develop new and extend existing projects. Because of high interest in this subject, many methodologies for designing the aforementioned systems have been developed. None of them, however, can be considered the default one to which others are compared to. Any useful methodology must provide some tools, versatility, and capability to verify its results. This paper presents an algorithm for verifying the correctness of multi-agent systems modeled as tracking bigraphical reactive systems and checking whether a behavior policy for the agents meets non-functional requirements. Memory complexity of methods used to construct behavior policies is also discussed, and a few ways to reduce it are proposed. Detailed examples of algorithm usage have been presented involving non-functional requirements regarding time and safety of behavior policy execution.
topic multi-agent systems
bigraphs
design
verification
modeling
non-functional requirements
url https://www.mdpi.com/2076-3417/11/18/8291
work_keys_str_mv AT piotrcybulski designandverificationofmultiagentsystemswiththeuseofbigraphs
AT zbigniewzielinski designandverificationofmultiagentsystemswiththeuseofbigraphs
_version_ 1717368340679229440