张 飒，朱雪峰

(中国石油大学(北京) 石油数据挖掘北京市重点实验室，北京 102249)

0 引 言

Web服务组合方案设计分为组合方案设计和组合方案优化两个阶段。如何将不同的服务有效地组合在一起，实现功能需求，继而在优化阶段，针对非功能性属性对候选服务进行筛选，是web服务组合研究的重点。

文献[1]采用扩展工作流模型，将抽象服务替换为实际的wsc(web service composition)方案。基于工作流模型研究的重点之一在于如何克服动态环境的影响。文献[2]利用petri网建模，建立了服务组合描述与状态图的一一映射关系。但是petri不易理解，不能在网中体现数据流。文献[3]的研究基于π演算是进程代数在wsc研究中应用的代表。根据文献[4]，局部优化方法从所有候选服务中，可以找到局部较优的服务方案，但是会忽略非功能属性的需求；全局优化方法可以找到最优方案，但这个方法的时间花销随规模增大；运用启发式算法的优化方法，可以以较小的开销找到较优的结果，但没有考虑到服务之间的逻辑关系。

通过对比web组合方案的研究现状可以发现，对web服务组合设计建模，进行服务组合优化的研究存在以下问题：①已有的服务自动组合的研究工作主要集中在通过形式化描述、图例方法得到服务的组合和执行顺序，在这种情形下，由于空间有限和状态过多就有可能造成状态爆炸；②关于组合优化的研究，上述方法并没有考虑到用户对于服务提出的约束条件，忽略了服务之间的逻辑关系。……