Web服务组合事务处理研究与实现

通过重用已有的服务进行服务组合来实现应用集成;而保证服务组合的事务特性是实现服务组合的关键。文中提出一个Web服务组合事务处理模型,将BPEL (Business Process Execution Language,业务流程执行语言)的流程设计与WS-C/T (Web Services Coordination/Transaction,Web服务协调/事务)规范结合。该模型主要由客户端、BPEL执行引擎、事务协调器和参与者四个部分组成。客户端发起请求,BPEL执行引擎响应请求并开启事务,事务协调器和参与者根据事务协调算法完成事务协调。     

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

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

一种基于BPEL4WS规范的业务流程设计器的解决方案

将Web服务和传统的工作流技术相结合至业务流程管理系统中，对业务流程进行设计和更改是至关重要的。本文为WSBPMS提出了一套基于BPEL4WS规范的业务流程设计器的解决方案，描述了流程设计器的总体结构以及其中的关键技术。     

Web服务组合事务处理研究与实现

通过重用已有的服务进行服务组合来实现应用集成;而保证服务组合的事务特性是实现服务组合的关键。文中提出一个Web服务组合事务处理模型,将BPEL（Business Process Execution Language,业务流程执行语言）的流程设计与WS—C／T（Web Services Coordination/Transaction, Web服务协调／事务）规范结合。该模型主要由客户端、BPEL执行引擎、事务协调器和参与者四个部分组成。客户端发起请求,BPEL执行引擎响应请求并开启事务,事务协调器和参与者根据事务协调算法完成事务协调。     

Web服务组合工作流中扩展UDDI的设计与实现

将多个Web服务组合起来,并按照一定的工作流程顺序执行从而形成Web服务组合工作流,是目前Web服务及工作流发展的趋势.然而如何描述Web服务来提高Web服务工作流的执行效率成为一个非常迫切的问题.提出了一个Web服务的语义表示模型,并且在此基础上提出一个Web服务组合工作流系统模型,然后详细描述了此模型中扩展UDDI的设计与实现.     

基于商业流程执行语言的工作流管理系统的研究和实现

Web服务的商业流程执行语言(简称BPEL4WS或BPEL)是一种基于XML的工作流定义语言,可以作为企业工作流建模和实现工作流管理系统的基础.本文首先介绍了工作流和BPEL4WS的基本概念,然后由一个例子具体介绍了BPEL4W的流程,最后给出了基于BPEL4WS工作流管理系统的实现.     

基于Pi-演算的BPEL4WS Web服务组合形式化模型

Web服务组合研究领域的一个重要的问题是如何形式化描述Web服务组合，如何验证服务组合的正确性。Web服务组合的形式化模型来可以用来检查、验证Web服务组合以保证组合的正确性。Pi-演算是一种适合于Web服务组合建模的进程代数。本文介绍了P-演算的基本语法，针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范-Web服务商业流程执行语言（Business Process Execution Language for Web Services，BPEL4WS），定义了Pi-演算和BPEL4WS之间的概念映射，并给出了BPEL4WS的基于P-演算的形式化模型，最后通过一个案例给出了模型验证的方法。     

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

单个Web服务难以满足实际应用的需求,为了解决互联网应用的集成和协作问题,需要把独立的Web服务组合起来以实现复杂的业务逻辑功能.通过分析工作流与Web服务流程执行的相同点,设计并实现了一个基于工作流的Web服务组合系统(WSCS).该系统能在自治的、异构的、动态的环境下灵活、高效地组合Web服务.整个系统主要包括三个模块:组合流程建模模块、服务选取模块、流程执行模块.     

基于BPEL的Web服务快速组合框架

针对当前Web服务组合语言以及Web服务组合过程的复杂性,提出基于业务流程执行语言(BPEL)的Web服务快速组合框架。该框架用有向无环图(DAG)表示服务组合逻辑,通过对DAG解析自动生成发布工作流所需要的各种文档。对原型系统的验证结果表明,该框架能将BPEL的复杂性隐藏起来,达到Web服务快速组合的目的。     

基于接口自动机的BPEL4WS Web服务组合形式化模型

介绍了接口自动机的基本语法,针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范——Web服务商业流程执行语言 (business process execution language for Web services,BPEL4WS),定义了接口自动机和BPEL4WS之间的概念映射,并给出了BPEL4WS的基于接口自动机的形式化模型,最后通过一个案例给出了BPEL4WS到接口自动机的映射及验证的方法。     

基于工作流的并行化Web服务合成技术研究

为了提高基于工作流的服务合成效率,满足用户高质量的应用需求,提出了基于工作流的并行化Web服务合成方案,并提出了流程划分算法.该方案依据服务发现模块的个数,将流程中的各个服务划分到不同的服务发现模块中,以实现服务发现的并行化,进而提高了整个流程的执行效率.通过实例阐明了该方案,并且表明了该方案的高效性,最后总结了其优点.     

基于OWL-S的动态工作流模型

结合Web服务的特点,将Web服务组合视为Web服务的工作流,根据BPEL过程模型将OWL-S/UDDI协调器应用到Web服务的工作流的构造当中.基于本体论提出了一种OWL-S的动态工作流模型,该模型有机地将Web服务和动态工作流结合在一起,不仅增强了模型的灵活性、适应性,同时也使其具有较强的扩展性.在此基础上以一个申请银行贷款为例表明了该模型的可行性.     

面向服务集成的工作流模型及其实现方法

针对现有工作流系统集成已有软件服务时存在的两个问题:1)对于业务流程中所集成服务的描述信息不足,无法满足服务集成需要;2)流程定制时可选择节点类型少,节点不具有业务含义,导致其定制过程复杂;提出一种新的工作流模型。首先,通过分析服务集成环境下的实际业务流程确定了模型的三部分信息:结构信息、服务信息和人员信息;其次,将模型中各部分信息与JPDL作了对应说明,表明了模型的完备性;最后,详细介绍了三部分信息的关键要素。实验结果表明,基于35种服务可以快速搭建出满足实际业务需求的48种业务流程。模型中丰富的服务信息为流程运行提供了保障,流程运行正确率100%;流程定制更加简便快捷,流程从定制到运行平均时间小于2 min。通过该模型可以快速地基于已有服务构建新的业务流程,降低了为新需求开发软件的成本。     

基于Web服务的动态工作流系统的研究与实现

分析了面向服务的计算环境及服务组合的新特征和新问题，并在此基础上从面向业务用户的角度对基于Web服务的动态工作流进行了探讨，提出一种基于Web服务的动态工作流模型。以该模型为基础，设计了具有三层结构的基于Web服务的动态工作流系统，按照该架构并基于J2EE平台实现了系统．对基于web服务的动态工作流应用提供了系统支撑与验证环境。     

面向动态工作流的Web服务组合模型研究

把Web服务与工作流相结合,将Web服务作为工作流中的各项任务,通过Web服务的动态组合技术,建立面向动态工作流的服务组合模型.对Web服务描述进行了扩展,提出了一个基于层次结构的服务发现模型,支持Web服务开发与部署的分离,并通过Web服务的动态查找,对符合要求的可用服务器,引入服务评价函数,根据服务器服务份额、价格策略以及信任度等因素对服务器进行综合评定,实现复合服务在运行时的动态部署与绑定.并通过工作流引擎对各项子任务的交互与完成进行相应控制,最终实现Web服务的动态绑定模型的执行框架.     

面向动态工作流的Web服务组合

利用动态工作流模型,将Web服务的组合过程与工作流的过程模型有机结合起来,从而建立面向动态工作流的复合服务。在复合服务的执行过程中,通过引入服务评价函数,并根据工作流过程模型中所定义的各项任务之间的业务逻辑与业务规则,最终实现工作流任务的动态绑定与执行。     

基于Web服务的动态工作流系统的研究与实现

分析了面向服务的计算环境及服务组合的新特征和新问题,并在此基础上从面向业务用户的角度对基于Web服务的动态工作流进行了探讨,提出一种基于Web服务的动态工作流模型。以该模型为基础,设计了具有三层结构的基于Web服务的动态工作流系统,按照该架构并基于J2EE平台实现了系统,对基于Web服务的动态工作流应用提供了系统支撑与验证环境。     

面向动态工作流的Web服务组合模型研究

把Web服务与工作流相结合,将Web服务作为工作流中的各项任务,通过Web服务的动态组合技术,建立面向动态工作流的服务组合模型。对Web服务描述进行了扩展,提出了一个基于层次结构的服务发现模型,支持Web服务开发与部署的分离,并通过Web服务的动态查找,对符合要求的可用服务器,引入服务评价函数,根据服务器服务份额、价格策略以及信任度等因素对服务器进行综合评定,实现复合服务在运行时的动态部署与绑定。并通过工作流引擎对各项子任务的交互与完成进行相应控制,最终实现Web服务的动态绑定模型的执行框架。     

基于服务网格的制造资源集成

提出了一种基于服务网格的制造资源集成方法，通过将服务网格技术引入制造行业，实现了制造资源的虚拟化，为制造资源提供了统一的接口和互操作协议、屏蔽平台及所使用技术的异构性。平台采用基于服务的协同工作流技术，在动态变化的环境中，能够根据用户需求优化业务逻辑及其执行过程，选择、配置和调度相应的制造资源完成指定的任务，实现跨组织的资源共享和任务协同。