29、社会技术系统中信任需求分析：基于信念的方法

社会技术系统中信任需求分析：基于信念的方法

1. 研究基础

研究主要基于三个领域展开：
- 目标导向需求工程（GORE） ：用于从系统参与者及其目标、权限和能力的角度表达系统需求。采用扩展版的 Secure Tropos 作为基础，其中参与者涵盖角色和代理两个概念，目标可通过与/或分解细化为子目标，且该方法提供了信息提供和目标委托的建模概念，并引入信任概念来捕捉参与者之间的期望。
- 信念 - 愿望 - 意图（BDI）范式 ：能从参与者的信念、愿望和意图角度分析系统参与者。代理具有代表其对世界认知的信念、想要实现的愿望（目标）以及决定行为的意图（计划）。引入 BDI 范式是为了捕捉参与者能力和动机的相关信念。
- 信任管理 ：信任是复杂的多维概念，构建信任主要分为认知和数学两种类型。本方法采用扩展版 Secure Tropos 的概念来建模系统需求，但该框架缺乏基于参与者能力和动机对信任需求进行建模和分析的技术，因此借助 BDI 范式捕捉相关信念，并依靠信任管理理解不同学者对信任的分析和构建方式。

2. 股票市场系统示例

以闪电崩盘为例，道琼斯工业平均指数大幅下跌。股票市场系统的利益相关者包括：
- 股票投资者 ：个人或公司，主要目标是“通过证券交易获利”。
- 股票交易员 ：包括做市商（能大量交易特定证券）、高频交易员（能高频大量交易证券）和小交易员（少量低频交易证券），主要目标是“通过证券交易获利”。
- 股