97、动态工作流组合与定制化生成解析

动态工作流组合与定制化生成解析

1. 工作流组合函数

1.1 规则选择函数

给定服务本体 $SO$ 中的服务集合 $S$、规则本体 $RO$ 中的规则集合 $R$ 以及用户偏好集合 $P$，规则选择函数 $\sigma$ 定义为 $\sigma : (S × R × P) →CR$，其中 $CR = {r1, r2, ..} ⊆R$，每个 $ri$ 是一个由条件 $c$ 和动作 $a$ 组成的对 $\langle c, a\rangle$。

1.2 任务选择与协调函数

• 任务选择函数 $h$ ：$h : CR →T$，它从 $CR$ 中选择一组任务 $T$，其中 $T$ 属于 $CR$ 中每个规则 $r$ 的动作 $a(CR)$。对于每个 $t ∈T$，其前置条件值 $Pre(t)$ 被设置为 $CR$ 中条件 $c(CR)$ 里的一个触发表达式 $te$。
• 任务协调函数 $k$ ：$k : CR →D$，它根据 $CR$ 中的协调动作 $a$，将 $CR$ 中的所有任务 $T$ 映射到依赖集 $D = T × T$。

1.3 工作流定义

工作流 $W$ 被定义为一个有向图 $G = (T, D)$，其中 $T ⊆S$ 是一个节点集，表示由组合函数 $h$ 选择的一组任务；$D ⊆(T × T)$ 是一个边集，用于表示 $T$ 中任务之间的协调依赖关系，由组合函数 $k$ 生成。

1.4 任务依赖类型

任务间依赖 $D$ 支持多种工作流协调需