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...
Main Authors: | , |
---|---|
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 |