44、用户中心服务建模与自动化组合及动态环境下服务协调的数据访问与处理

用户中心服务建模与自动化组合及动态环境下服务协调的数据访问与处理

1. 用户中心服务建模与自动化组合

1.1 状态偏好与目标设定

在服务组合的状态转换系统（STS）中，不同状态具有不同的偏好。例如在 try - STS 里，状态 ls 比状态 lf 更受青睐，对应的带偏好目标为：
[
\rho_t = (l_s, l_f)
]
对于表示组合约束演变的 STS，初始处于接受位置 (l_0)。若约束前提发生（报告 ecl），则会转移到非接受状态，可通过完成子句 (ecl_1, \cdots, ecl_n) 中的一个来满足约束（分别转移到位置 (l_1, \cdots, l_n)），对应的带偏好目标形式为：
[
\rho_c = (l_0, l_1, \cdots, l_n)
]
这意味着，只要前提发生，组合就需尝试将约束 STS 转移到某个接受状态，并遵循偏好顺序。

1.2 生成复合服务

1.2.1 转换为 STS

假设有 (n) 个服务（(W_1, \cdots, W_n)）、(m) 个对象（(O_1, \cdots, O_m)）、(k) 个组合约束（(C_1, \cdots, C_k)）和 (l) 个用户控制元素（(U_1, \cdots, U_l)），利用转换规则将它们转换为 STS，得到每个部分的 STS（分别为 (\Sigma_{W_1} \cdots \Sigma_{W_n})、(\Sigma_{O_1} \cdots \Sigma_{O_m})、(\Sigma_{C_1} \cdots \Sigma_{C_k}) 和 (\Sigma_{U_