论文部分内容阅读
Web服务可实现应用程序在Internet上的互操作，已成为一种具有发展潜力的集成技术。Web的一个重要特点和一个基本要求是服务合成，即组合已有服务以实现新的功能。这已引起了广泛的研究兴趣，一些合成规范如BPEL4WS、WSCI已经被提出。然而，不仅这些规范尚未形成统一的标准，而且规范自身也还存在着一些亟待发展和改进之处。Web服务合成涉及服务的选择、合成、验证与优化。本文从服务合成的基础开始，研究基于应用标准的最优服务选择方法；在此基础上，提出满足用户即时定制需求的服务自动合成技术；进而给出分析Web服务合成流程的正确性验证算法。所取得的主要成果如下：1．一种选择最优Web服务的方法。该方法首先定义和收集Web服务主观信誉值，然后根据服务质量(Qos)模型，计算Web服务的客观质量值，最后导出面向应用的最优候选Web服务，建立了基于反馈的Web服务的评价体系。2．一个柔性的Web服务工作流模型。该模型形式化地描述每个Web服务活动，建立基于任务依赖规范的服务自动合成方法，满足用户的即时定制需求。所设计的合成流程正确性验证算法以及动态补偿机制使模型更易于实用。3．自底向上与自顶向下的合成分析方法。基于Web服务行为的自动机模型，设计了两类Web服务合成验证方法。在自底向上的分析方法中，通过引入client／server思想，定义了Web服务合成时服务的相容性概念。在此基础上，设计了相容性分析算法，验证合成流程的正确性；在自顶向下的分析方法中，提出了一个描述原子服务与合成服务关系的框架，规范合成服务形成的全局会话。设计了会话正确性的验证算法及合成服务投影方法。对于正确的合成会话，按照投影结果来设计各个原子服务的行为。4．基于上述合成模型及分析方法，实现了原型系统。上述研究成果，系统地阐述了Web服务合成的若干关键技术，不仅可以应用于B2B商业应用，在科研领域中也有很好的应用前景，如生物信息领域、气象预报、分布式计算以及网格服务等等。本项研究工作受到国家基础研究计划973项目“海量信息的协同性和可生存性的理论与实践研究”(编号：2005CB321905)以及国家高技术计划863项目“基于Web服务的数据库新技术”(编号：2002AA4Z3430)的资助。