基于软件代理和上下文的Web服务合成方法

Web服务的诸多特性使得它非常适合于商务应用集成，工业界和学术界都希望能够通过合成多个Web服务从而获得增值的新服务。介绍两个概念以减少Web服务合成的复杂性：软件代理和上下文；并论述了在合成期间，软件代理之间进行会话以同意Web服务参与到合成中。     

领域自适应的Web服务评价模型

Web服务质量的评价是指导Web服务的选取与组合的主要手段，而目前的Web服务评价模型采用与服务领域无关的评价因子来评价服务，不能全面衡量服务使用者对Web服务质量的要求．该文用基于语义的方法描述Web服务评价模型，支持动态定制不同领域的服务评价因子，同时利用Web服务在使用过程中产生的知识以及领域专家的领域知识交互计算评价因子的权重分布．实验证明，该模型的评价结果优于其它评价模型的评价结果，并且采用交互算法的准确率比仅采用机器学习算法或仅使用先验知识的准确率提高10％以上．该模型可应用于Web服务管理系统、Web服务选取和Web服务合成引擎等Web服务应用系统中．     

基于Internet工作流的复合Web服务框架

实现灵活方便的企业业务集成一直是信息领域的核心问题，也是B2B电子商务应用的关键．为此将Web服务和传统的工作流技术相结合，设计并实现了支持复合Web服务运行和管理的框架WSFlow．给出了WSFlow的总体结构，描述了其中的关键技术，包括Web服务与工作流活动的动态配置和绑定技术，复合Web服务流程的动态修改以及复合Web服务的运行监控等技术．     

用于科技基础条件平台的服务合成研究与应用

Web服务之间的交互是面向服务的体系结构(Service-Oriented Architecture,SOA,也称为面向服务架构)中的关键问题.单个Web服务提供的功能往往不能完全满足用户的实际需求,将多个Web服务进行合成实现功能更为强大的服务是SOA必须要解决的问题之一.分析了Web服务合成的研究现状,介绍了Web服务合成方式的分类和商业流程执行语言BPEIAWS,给出了"科技基础条件平台应用服务支撑系统"项目中SOA的设计方案,描述了Web服务合成的关键步骤.该研究成果成功地应用于科技基础条件平台应用服务集成之中,并已通过科技部的前期验收.     

用户界面集成中可交互Web服务的应用研究

提出一种可交互的Web服务——IWS服务，将面向数据的传统Web服务转变成具有界面展示能力的、可响应界面事件的新型Web服务。IWS服务能够被简单地插入到信息门户界面中，实现即插即用的特性。     

Web服务复合技术在SOA系统中的研究与应用

随着以Web服务为基础的面向服务的体系结构的发展，如何复合分布的、自治的Web服务以构建新的企业业务应用的问题已成为软件工程领域一个新的热点问题。本文研究探讨了Web服务复合技术在面向服务体系的系统开发中的应用，并在此基础上提出一个基于Web服务复合技术的应用程序设计模式。     

用于科技基础条件平台的服务合成研究与应用

Web服务之间的交互是面向服务的体系结构（Service-Oriented Archimcmre,SOA,也称为面向服务架构）中的关键问题。单个Web服务提供的功能往往不能完全满足用户的实际需求．将多个Web服务进行合成实现功能更为强大的服务是SOA必须要解决的问题之一。分析了Web服务合成的研究现状,介绍了Web服务合成方式的分类和商业流程执行语言BPEL4WS,给出了“科技基础条件平台应用服务支撑系统”项目中SOA的设计方案．描述了Web服务合成的关键步骤。该研究成果成功地应用于科技基础条件平台应用服务集成之中,并已通过科技部的前期验收     

异步交互的Web服务的相容性分析

Web服务合成的相容性是服务合成研究领域的重要问题。相容性分析需要考虑异步交互的服务合成环境。用形式化的分析方法为Web服务的合成建模,给出服务合成满足相容性要求的限制条件,并提供了相容性的判断方法。     

基于OWL-S的三层服务匹配模型

随着XML及语义技术的发展，Web服务已经在电子商务领域得到了广泛应用。然而，如何有效地发现Web服务仍是该领域中研究的热点。提出了一种基于OWL-S语言的三层服务匹配结构并设计了一个框架模型，该模型利用了OWL-S语言支持Web服务的自动发现、调用、合成和运行监测的特点。同时，原型系统的开发与应用表明：该模型能够提高Web服务发现和匹配的效率，并且对动态电子商务的系统个性化及界面集成提供了一个值得借鉴的解决方案。     

面向服务环境下基于本体映射的多领域业务过程协同*

为解决面向服务环境下多领域业务过程协同中的语义不一致问题,使不同领域提供的Web服务实现无障碍交互以及数据和知识共享,提出基于本体映射的多领域业务过程协同框架。首先根据领域知识建立参考本体,然后根据各领域的参考本体生成领域间的协同本体,最后将协同本体通过映射转换到BPEL和WSDL文件。该方法能够保留流程与Web服务中的原始语义信息,从而保证不同领域业务过程协同地顺利进行。原型系统在欧盟ImportNET项目中得到了验证。     

一个基于偏序事件结构的Web服务模型及其形式化组装

随着Internet的发展，服务化和Web化趋势使得一个基于Web的分布式软件服务计算环境正在形成；同时随着大规模应用需求的不断涌现，单个的Web服务往往不能很好地满足一些复杂的应用。因此Web服务之间的集成组装就显得尤为重要。分析Web服务的交互和协同行为可以发现，分布性和并发性是基于软件服务分布计算系统的本质特征。这就往往使得组装的正确性难以得到保证，从而需要提供一定的手段加以支持；同时，基于软件服务分布计算系统的效率问题也值得关注。我们认为，利用偏序关系对这些问题加以处理是一种理想和有效的手段；而同时我们发现，在服务的组装中，服务与服务之间存在着一种自然的偏序关系。本文基于此，从形式化的角度研究了软件服务及其组装，提出了一种基于偏序事件多集的Web服务的形式化模型。本文从服务内部事件而不仅仅是服务的角度来考察并发问题，这使服务内和服务问的更多的事件可以并行执行，并使得组装后的系统可以更高效地进行实施，从而使得Web服务的并发拉度变细；在此基础上给出了一种服务组装语言和规则，以确保在组装过程中出现的局部变化不影响整体的Web服务的正确组装，从而能够从形式化的角度来规范Web服务的集成组装，使其正确性和效率能够得到保证。     

基于Web服务组合的业务流程集成

从分析现代企业面临的动态业务环境入手,提出了Web服务环境下的业务流程集成模型,阐述了基于Web服务组合进行业务流程集成的优点.在分析了Web服务组合关键技术的基础上,分别从业务流程描述语言、基于工作流的Web服务组合和语义Web服务组合三方面,综述了Web服务组合技术的研究现状,并指出了当前研究工作的不足.     

基于工作流的Web 服务组合模型设计与实现

单个Web服务无法满足企业的应用需求,对多个Web服务进行组合的研究尤为必要。本文提出了一种基于 工作流模板的服务组合模型,旨在通过定义和发布静态的Web服务,搭建基于工作流的Web 服务业务流程组合模型,实现在 工作流流程中调用静态的服务组合。     

一个基于Petri网的Web服务组合模型

作为企业应用集成的重要手段，Web服务组合需要建立可靠的表达和分析方法。因此，基于Petri网技术定义一个Web服务组合模型，将组合Web服务的要索映射到Petri网结构。利用Petri网提供的分析技术，辅助复杂业务流程的建模，并分析验证其正确性和性能。     

A semantical framework to engineering WSBPEL processes

Web services promise the interoperability of various applications running on heterogeneous platforms over the Internet, and are gaining more and more attention. Web service composition refers to the process of combining Web services to provide value-added services, which has received much interest in supporting enterprize application integration. Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web service collaborations. However, these standards do not provide support for checking interesting properties related to Web Service and process behavior. In an attempt to fill this gap, we describe a formalization of WSBPEL business processes, that adds communications semantics to the specifications of interacting Web services, and uses a formal logic to model their dynamic behavior, which enables their formal analysis and the inference of relevant properties of the systems being built.     

Web服务的Pi演算描述

如何从已有的 Web 服务构造新的增值性的正确的 Web 服务,已成为研究 Web 服务的群体关注的一个焦点。因此,为了得到可靠的、高质量的服务,必须找到一种建模方法和工具,在 Web 服务投入使用之前,对其进行分析和验证。本文主要从过程代数的角度出发,用 Pi 演算来描述 Web 服务以及 Web 服务的组合。     

基于进程代数的Web服务合成的替换分析

Web服务合成是Web服务研究领域的热点问题,Web服务的替换与Web服务合成密切相关且对于Web服务合成系统的健壮性有重要作用.使用进程代数作为形式化的工具描述Web服务,对合成中的行为特征进行推导,分析由于异步交互对Web服务合成设计与实现产生的影响.在此之上,基于服务合成正确性的定义,提出一种一致性关系,若新服务与将要被替换的参与合成的服务之间存在这种关系,那么替换后的服务合成仍然是正确的,并且替换是上下文无关的.     

基于主体的语义Web服务自动组合研究

语义Web服务要解决的一个主要问题就是如何实现服务组合自动化.主体技术因其智能性、自主性等特点在解决语义Web服务组合问题中具有较大优势.通过分析语义Web服务组合研究现状,分析主体、语义Web与Web服务的紧密关系,论证了基于主体的语义Web服务的可行性并描述了基于多主体的Web服务组合平台架构.介绍了基于主体技术的语义Web服务组合技术,将服务组合看成是一个多主体环境下的规划问题,给出语义Web服务作为主体动作子类的形式化定义,并针对服务组合问题增加限定条件,定义服务之间的5种关系,试图从逻辑角度,以描述逻辑为基本工具,突出服务的动态性与交互性.最后利用主体的目标规划以及基于描述逻辑的有效推理,给出了服务的自动组合算法.     

基于参数关联矩阵的服务组合研究

单个Web服务难以满足实际应用需求,为了利用现有服务组合成新的服务,从服务参数依赖关系出发,提出一种基于参数关联矩阵的逆向服务组合推导算法。定义OWL-S的Web服务本体谓词描述形式,利用谓词演算证明服务组合推导过程。理论研究结论得出该方法的有效性和可行性。