基于任务依赖信息的Web服务自动合成

作     者：史玉良 黄光安 叶炜 张亮 施伯乐 Shi Yuliang;Huang Guang'an;Ye Wei;Zhang Liang;Shi Baile

作者机构：复旦大学计算机与信息技术系 

出 版 物：《计算机研究与发展》 (Journal of Computer Research and Development)

年 卷 期：2006年第43卷第12期

页      面：2110-2116页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家"九七三"重点基础研究发展规划基金项目(2005CB321905) 国家"八六三"高技术研究发展计划基金项目(2002AA4Z3430 2002AA231041)~~ 

主　　题：Web服务 服务合成 补偿机制 

摘      要：随着Web服务的大量出现,Web服务的合成成为当前的一个研究热点·然而,目前大多数的合成语言规范,例如BPEL4WS和WSCI,都需要人工预先设计一个固定的执行流程,难以充分发挥Web服务自适应的特点·通过形式化描述单一的Web服务,建立了通过任务间依赖规范实施合成的方法,提出了一种具有柔性和自适应能力的工作流模型,实现Web服务的自动合成·同时,设计了合成的正确性验证算法以及动态补偿机制使提出的模型易于实用·