1、多智能体系统的需求建模：方法与实例

多智能体系统的需求建模：方法与实例

1. 引言

在软件开发中，系统需求管理不善是导致问题的主要原因之一。对于多智能体系统（MAS）这种由多个智能体相互作用以实现特定目标的系统，传统的需求工程方法可能并不完全有效。近年来，虽有多种开发MAS的方法被提出，但许多方法未能充分涵盖需求工程阶段。MAS除了具有组织、结构和功能特性外，还需要诸如主动性、适应性、协作性等社会行为特性，因此需要新的方法和技术来获取和处理MAS的需求。

2. 相关工作

为了更好地理解MAS需求建模，下面介绍一些相关的方法和框架：
- 组织视角 ：
- GBRAM ：是一种传统的面向目标的需求工程方法，提供了目标识别和开发的程序指南，有助于系统地分析目标。但它在形式化方面存在不足，缺乏模型、正式符号和工具支持。不过，其指南清晰，且通过细化阶段强调需求验证，具有一定的可追溯性。
- i * 框架 ：是Tropos方法的基础，适用于获取和建模系统及其环境中的参与者、目标、任务等信息。但它不能完全表示约束条件，也未提供建模环境。
- 结构视角 ：
- AUML ：常被用作多种方法中的符号标准，采用用例图表示功能需求，便于与利益相关者沟通。此外，其代理交互协议（AIP）是MAS的核心方面。
- KAOS ：通过目标建模需求，包含规范语言、细化方法和元级知识。该方法使用形式化来确保正确性，约束概念有助于识别系统完整性问题，但成功实施依赖开