40、互联网软件实体能力规范与特征驱动的需求依赖分析

互联网软件实体能力规范与特征驱动的需求依赖分析

1. 基于环境本体的能力规范

1.1 FCHM的全局状态与状态转换

FCHM（Formalized Context Hierarchy Model）的全局状态定义为一个最大一致集 (A \in 2^{S(chm)})，对于任意 (x \in S(chm) - A)，都有 (\neg consistent(A \cup {x}))。例如，在相关示例中，({help entity - requested, exploratory tutorial - topic published}) 就是一个一致集，因为这两个状态可以同时存在。

定义了全局状态后，我们可以定义FCHM的下一状态关系 (F \subseteq G \times 2^{\varSigma_{in}} \times G)，其中 (G) 是FCHM的全局状态集，(\varSigma_{in}) 是FCHM的输入集。例如，(g_1 = {help entity - requested, exploratory tutorial - ready}) 和 (g_2 = {help entity - topic sent, exploratory tutorial - topic published}) 是全局状态，(\langle g_1, {!help(topic),?help(topic),!give(topic),?give(topic)}, g_2 \rangle) 就是一个全局状态转换。其具体过程如下：
1. help entity发送消息 (!help(topic))，状态从“requested”变为“topic sent”。
2. teache