39、基于环境本体的互联网软件实体能力规范

基于环境本体的互联网软件实体能力规范

1. 互联网软件实体能力概述

互联网软件实体的能力体现在其与交互环境的相互作用中。本质上，互联网软件实体能够通过与周围环境的相互交互，对周围环境施加影响，从而促使环境发生变化。

2. 基于环境本体的能力规范（EnOnCaS）要素

EnOnCaS 主要由以下几个关键要素构成：
- 环境本体（Environment Ontology） ：它是指定互联网软件实体能力的基础层。环境本体是一个可共享的知识库，由领域专家在现有通用领域本体的基础上构建并维护。在实际情况中，环境实体可能属于不同的环境本体，可通过本体映射和集成来提供它们之间的公共层。为简化，这里假设只有一个环境本体。
- 能力概要（Capability Profile） ：用于描述互联网软件实体的能力。定义能力概要时，需先明确该实体对环境实体的影响。基于效果的观点，对因果环境实体的影响可视为其带有消息交换的状态子图。对于自主实体和符号实体，影响仅为它们与互联网软件实体之间可“启用”的消息交换，无状态变化。
- 效果路径（Effect Path） ：
- 有限效果路径：设 e 为环境实体，h(e) 为 e 的 THSM。e 的有限效果路径 ρ 是状态和共享/共享现象的交替序列，以状态结束。
[
\rho \stackrel{\text{def}}{=} s_0 \text{phein} 1 \text{pheout}_1 s_1 \cdots s {n - 1} \text{phein}