61、多智能体系统的实现、测试与验证

多智能体系统的实现、测试与验证

1. 多智能体系统实现要点

在多智能体系统中，实现过程需确保系统行为的正确性，即便在计划的交互序列与其他任务并行执行时也不例外。不同方法学在实现上存在一些有趣的差异，例如MaSE独特地使用部署图来捕获智能体的运行时位置，而在O - MaSE中这一特性未被保留。此外，各方法学在捕获行为的符号表示上也有所不同，像非正式伪代码和UML活动图的使用差异。

实现与设计密切相关，详细设计的结果应易于映射到实现中。这就要求所使用的实现平台类型与方法学假定的实现平台类型相匹配。例如：
- 若方法学的详细设计阶段假定采用BDI风格的实现，那么详细设计结果将以具有事件触发计划的智能体来表达，自然能映射到BDI风格的实现平台。
- 若详细设计阶段假定智能体是交换消息的黑盒，并使用有限状态机来指定每个智能体的行为，那么详细设计结果更适合映射到JADE等智能体平台。

从设计到实现的映射通常是手动完成的，不过有一些工具可辅助生成骨架代码，后续再进行完善。相关工具及支持的实现代码生成情况如下表所示：
| 工具名称 | 支持的方法学 | 生成的代码 |
| ---- | ---- | ---- |
| PDT | Prometheus | JACK代码 |
| TAOM4E | Tropos | Jadex代码 |
| IDK | INGENIAS | JADE代码 |
| agentTool III | O - MaSE | JADE代码 |
| PTK | PASSI | 使用AgentFactory的JADE代码 |

目前，工具在从设计到实现的过渡支持方面仍有改进空