Cargando…

On the Modeling and Verification of Collective and Cooperative Systems

The formal description and verification of networks of cooperative and interacting agents is made difficult by the interplay of several different behavioral patterns, models of communication, scalability issues. In this paper, we will explore the functionalities and the expressiveness of a general-p...

Descripción completa

Detalles Bibliográficos
Autor principal: Aldini, Alessandro
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Frontiers Media S.A. 2022
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9271846/
https://www.ncbi.nlm.nih.gov/pubmed/35832931
http://dx.doi.org/10.3389/frobt.2022.866649
_version_ 1784744761286983680
author Aldini, Alessandro
author_facet Aldini, Alessandro
author_sort Aldini, Alessandro
collection PubMed
description The formal description and verification of networks of cooperative and interacting agents is made difficult by the interplay of several different behavioral patterns, models of communication, scalability issues. In this paper, we will explore the functionalities and the expressiveness of a general-purpose process algebraic framework for the specification and model checking based analysis of collective and cooperative systems. The proposed syntactic and semantic schemes are general enough to be adapted with small modifications to heterogeneous application domains, like, e.g., crowdsourcing systems, trustworthy networks, and distributed ledger technologies.
format Online
Article
Text
id pubmed-9271846
institution National Center for Biotechnology Information
language English
publishDate 2022
publisher Frontiers Media S.A.
record_format MEDLINE/PubMed
spelling pubmed-92718462022-07-12 On the Modeling and Verification of Collective and Cooperative Systems Aldini, Alessandro Front Robot AI Robotics and AI The formal description and verification of networks of cooperative and interacting agents is made difficult by the interplay of several different behavioral patterns, models of communication, scalability issues. In this paper, we will explore the functionalities and the expressiveness of a general-purpose process algebraic framework for the specification and model checking based analysis of collective and cooperative systems. The proposed syntactic and semantic schemes are general enough to be adapted with small modifications to heterogeneous application domains, like, e.g., crowdsourcing systems, trustworthy networks, and distributed ledger technologies. Frontiers Media S.A. 2022-06-27 /pmc/articles/PMC9271846/ /pubmed/35832931 http://dx.doi.org/10.3389/frobt.2022.866649 Text en Copyright © 2022 Aldini. https://creativecommons.org/licenses/by/4.0/This is an open-access article distributed under the terms of the Creative Commons Attribution License (CC BY). The use, distribution or reproduction in other forums is permitted, provided the original author(s) and the copyright owner(s) are credited and that the original publication in this journal is cited, in accordance with accepted academic practice. No use, distribution or reproduction is permitted which does not comply with these terms.
spellingShingle Robotics and AI
Aldini, Alessandro
On the Modeling and Verification of Collective and Cooperative Systems
title On the Modeling and Verification of Collective and Cooperative Systems
title_full On the Modeling and Verification of Collective and Cooperative Systems
title_fullStr On the Modeling and Verification of Collective and Cooperative Systems
title_full_unstemmed On the Modeling and Verification of Collective and Cooperative Systems
title_short On the Modeling and Verification of Collective and Cooperative Systems
title_sort on the modeling and verification of collective and cooperative systems
topic Robotics and AI
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9271846/
https://www.ncbi.nlm.nih.gov/pubmed/35832931
http://dx.doi.org/10.3389/frobt.2022.866649
work_keys_str_mv AT aldinialessandro onthemodelingandverificationofcollectiveandcooperativesystems