Chapter 9 Methodologies

学习目标

• 能判断系统是否适合 MAS 方法论
• 能比较 Gaia、Tropos 与 Prometheus
• 能保持目标、角色与协议的可追踪

为什么必须先冻结联合模型

先预测：一个两人小组的内部工具需要 Gaia 方法论吗？带着判断进入本页。

从适用性判断到 Gaia、Tropos、Prometheus 与 Agent UML，保持目标、角色和协议可追踪。 代理方法论把利益相关者目标转为角色、交互协议、组织规则和具体代理；不同方法强调不同产物，必须以端到端追踪而非图数量评价。 本页不以单个代理“看起来聪明”为通过条件，而是检查联合状态、偏离动机、失败传播和可重放证据。

直觉、对象与计算合同

贯穿场景是：为应急响应系统从组织目标推导代理、角色和会话协议。参与者、可观察信息、行动集、偏好或目标、环境转移、协议版本和终止条件必须在运行前固定，不能在看到结果后修改效用或阈值。

$$traceability = goal ↔ role ↔ interaction ↔ agent ↔ test$$

公式用于公开关系与前提，不替代正式证明或实证测量。若组织结构简单且自治不明显，普通领域建模可能比代理方法更清晰。 本页重点防范：角色图与最终代码脱节，协议变化没有回写目标和测试。

正式目录节点：解释与联合验证

下列目录节点逐项映射到解释、页面专属实验和章末答案。每个节点都必须指出它改变哪个联合状态以及什么观测会推翻结论；单纯出现术语不计覆盖。

Chapter 9 Methodologies

“Chapter 9 Methodologies”提供工程产物或应用坐标，价值要用目标到实现和测试的追踪证明。 在“代理方法论把利益相关者目标转为角色、交互协议、组织规则和具体代理；不同方法强调不同产物，必须以端到端追踪而非图数量评价。”这条联合因果链中，本节点重点检查AAII；只改变一个条件并保存联合轨迹，若出现“角色图与最终代码脱节，协议变化没有回写目标和测试”，就在首个分叉停止。

9.1 When is an Agent-Based Solution Appropriate?

“9.1 When is an Agent-Based Solution Appropriate?”决定感知、内部状态、目标与行动怎样连接，应在相同环境轨迹上比较。 在“代理方法论把利益相关者目标转为角色、交互协议、组织规则和具体代理；不同方法强调不同产物，必须以端到端追踪而非图数量评价。”这条联合因果链中，本节点重点检查Gaia；只改变一个条件并保存联合轨迹，若出现“角色图与最终代码脱节，协议变化没有回写目标和测试”，就在首个分叉停止。

9.2 Agent-Oriented Analysis and Design

“9.2 Agent-Oriented Analysis and Design”决定感知、内部状态、目标与行动怎样连接，应在相同环境轨迹上比较。 在“代理方法论把利益相关者目标转为角色、交互协议、组织规则和具体代理；不同方法强调不同产物，必须以端到端追踪而非图数量评价。”这条联合因果链中，本节点重点检查Tropos；只改变一个条件并保存联合轨迹，若出现“角色图与最终代码脱节，协议变化没有回写目标和测试”，就在首个分叉停止。

9.2.1 The AAII methodology

“9.2.1 The AAII methodology”提供工程产物或应用坐标，价值要用目标到实现和测试的追踪证明。 在“代理方法论把利益相关者目标转为角色、交互协议、组织规则和具体代理；不同方法强调不同产物，必须以端到端追踪而非图数量评价。”这条联合因果链中，本节点重点检查Prometheus；只改变一个条件并保存联合轨迹，若出现“角色图与最终代码脱节，协议变化没有回写目标和测试”，就在首个分叉停止。

9.2.2 Gaia

“9.2.2 Gaia”提供工程产物或应用坐标，价值要用目标到实现和测试的追踪证明。 在“代理方法论把利益相关者目标转为角色、交互协议、组织规则和具体代理；不同方法强调不同产物，必须以端到端追踪而非图数量评价。”这条联合因果链中，本节点重点检查开发陷阱；只改变一个条件并保存联合轨迹，若出现“角色图与最终代码脱节，协议变化没有回写目标和测试”，就在首个分叉停止。

9.2.3 Tropos

“9.2.3 Tropos”提供工程产物或应用坐标，价值要用目标到实现和测试的追踪证明。 在“代理方法论把利益相关者目标转为角色、交互协议、组织规则和具体代理；不同方法强调不同产物，必须以端到端追踪而非图数量评价。”这条联合因果链中，本节点重点检查AAII；只改变一个条件并保存联合轨迹，若出现“角色图与最终代码脱节，协议变化没有回写目标和测试”，就在首个分叉停止。

9.2.4 Prometheus

“9.2.4 Prometheus”提供工程产物或应用坐标，价值要用目标到实现和测试的追踪证明。 在“代理方法论把利益相关者目标转为角色、交互协议、组织规则和具体代理；不同方法强调不同产物，必须以端到端追踪而非图数量评价。”这条联合因果链中，本节点重点检查Gaia；只改变一个条件并保存联合轨迹，若出现“角色图与最终代码脱节，协议变化没有回写目标和测试”，就在首个分叉停止。

9.2.5 Agent UML

“9.2.5 Agent UML”决定感知、内部状态、目标与行动怎样连接，应在相同环境轨迹上比较。 在“代理方法论把利益相关者目标转为角色、交互协议、组织规则和具体代理；不同方法强调不同产物，必须以端到端追踪而非图数量评价。”这条联合因果链中，本节点重点检查Tropos；只改变一个条件并保存联合轨迹，若出现“角色图与最终代码脱节，协议变化没有回写目标和测试”，就在首个分叉停止。

9.2.6 Agents in Z

“9.2.6 Agents in Z”决定感知、内部状态、目标与行动怎样连接，应在相同环境轨迹上比较。 在“代理方法论把利益相关者目标转为角色、交互协议、组织规则和具体代理；不同方法强调不同产物，必须以端到端追踪而非图数量评价。”这条联合因果链中，本节点重点检查Prometheus；只改变一个条件并保存联合轨迹，若出现“角色图与最终代码脱节，协议变化没有回写目标和测试”，就在首个分叉停止。

9.3 Pitfalls of Agent Development

“9.3 Pitfalls of Agent Development”决定感知、内部状态、目标与行动怎样连接，应在相同环境轨迹上比较。 在“代理方法论把利益相关者目标转为角色、交互协议、组织规则和具体代理；不同方法强调不同产物，必须以端到端追踪而非图数量评价。”这条联合因果链中，本节点重点检查开发陷阱；只改变一个条件并保存联合轨迹，若出现“角色图与最终代码脱节，协议变化没有回写目标和测试”，就在首个分叉停止。

9.4 Mobile Agents

“9.4 Mobile Agents”决定感知、内部状态、目标与行动怎样连接，应在相同环境轨迹上比较。 在“代理方法论把利益相关者目标转为角色、交互协议、组织规则和具体代理；不同方法强调不同产物，必须以端到端追踪而非图数量评价。”这条联合因果链中，本节点重点检查AAII；只改变一个条件并保存联合轨迹，若出现“角色图与最终代码脱节，协议变化没有回写目标和测试”，就在首个分叉停止。

常见误区

术语

小结

• 从适用性判断到Gaia、Tropos、Prometheus与AUML
• 利益相关者目标转为角色、协议和具体代理
• 不同方法强调不同产物，以端到端追踪评价
• 角色图与最终代码不应脱节
• 协议变化必须回写目标和测试

容易踩的坑

误区 1

现象 → 任何系统都套 MAS 方法论 原因 → 小团队被流程压垮 修法 → 先评估角色与交互复杂度

误区 2

现象 → 目标角色协议不同步更新 原因 → 模型与实现漂移 修法 → 变更时三视图同步修改

误区 3

现象 → 只做单体测试 原因 → 协议在交互中崩溃 修法 → 补社会性测试与对抗注入

练习与答案

前后导航

• 上一页：Chapter 8 Working Together
• 下一页：Chapter 10 Applications

练习

练习

问题 1： Gaia 方法论的核心抽象是什么？

查看答案

角色与交互模型：角色定义职责与权限，交互定义角色间协议。

问题 2： 什么时候 MAS 方法论不适用？

查看答案

单代理或纯静态系统，方法论的角色与交互开销大于收益。

问题 3： 为一个图书管理系统做 Gaia 角色分析，列出三个角色。（独立实现）

查看答案

检索代理、推荐代理、采购代理，各自标注职责、权限与协议。