Aldini Alessandro
Department of Pure and Applied Sciences, University of Urbino Carlo Bo, Urbino, Italy.
Front Robot AI. 2022 Jun 27;9:866649. doi: 10.3389/frobt.2022.866649. eCollection 2022.
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.
合作与交互代理网络的形式化描述和验证因多种不同行为模式、通信模型以及可扩展性问题的相互作用而变得困难。在本文中，我们将探索一个通用过程代数框架的功能和表达能力，用于基于规范和模型检查的集体与合作系统分析。所提出的句法和语义方案具有足够的通用性，只需进行少量修改就能适用于异构应用领域，例如众包系统、可信网络和分布式账本技术。
