面向行为约束的可信Web服务组合方法研究

Web服务组合方法是构建面向服务的新一代软件系统的理论基础，具有重要的理论与应用价值。项目拟针对包含功能要求和行为约束的用户需求，深入剖析现有Web服务组合方法存在的不足，进而面向Web服务的内部执行过程和服务间的交互过程，从行为的角度研究可信的Web服务组合方法。研究内容包括：（1）针对用户需求中的行为约束和Web服务内部执行过程中的动态行为信息，研究有效的模型构建方法。(2)面向行为约束研究基于松弛匹配的Web服务发现方法，进而研究行为意识的语义Web服务组合方法。（3）为了提高组合服务执行行为的预期性，面向服务交互过程，从行为、功能等角度研究有效的组合服务形式化验证分析方法。（4）基于上述理论成果，面向电子商务领域研制基于行为的可信服务组合原型系统。本项目的研究成果将有助于丰富和发展Web服务计算理论，同时为企业信息化、Web服务业乃至软件产业提供一定的技术支撑。

在项目研究过程中，围绕Web服务描述模型构建方法、面向过程的Web服务发现和组合方法、基于行为的Web服务选择方法、组合服务的形式化验证分析方法以及应用验证等内容开展了研究，共发表学术论文12篇，申请软件著作权登记2项。研究内容不仅涵盖了全部研究工作计划，且在对服务选择也进行了深入的研究。因此，项目研究工作按计划执行且执行情况良好，课题组完成了任务书中规定的各项考核指标。