多智能体机器人系统的形式化需求与架构规约

在多智能体机器人系统的规约工程中，最具挑战性的任务之一是对系统进行形式化规约和架构设计，特别是多智能体机器人系统具有并发处理能力且通常处于动态环境中。形式化需求与架构规约以及从抽象概念到具体概念的逐步细化，在系统的形式化过程中起着重要作用。本文提出了一种方法的形式化需求与架构规约方面，该方法通过从抽象到具体规约的逐步细化和形式化架构定义，支持对功能属性和非功能属性的分析。这些形式化规约通过一个案例研究进行了示例说明。随着形式化规约技术日益成熟，我们构建正确且复杂的多智能体机器人系统的能力也在迅速提升。