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

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

基于BPEL和ws-Tx的Web服务组合事务协调框架研究

针对当前Web服务事务协调框架中缺乏对服务组合流程定义的支持而需要在协调过程中手动定义业务流程的问题,提出了一种支持流程和事务语义自动抽取的服务组合事务协调框架。该框架从扩展了事务语义的业务流程执行语言(Business Process Execution Language,BPEL)中抽取协调信息,并结合Web服务事务规范(Web Services Transaction,WS-TX)所定义的协调器实现了服务组合的全局事务协调。通过将WS-TX在事务协调和BPEL在业务流程设计方面的优势相结合,该框架将业务逻辑与事务处理逻辑有效地分离。最后通过实例分析说明了该框架的可行性。     

面向服务的多参与者协调事务建模方法

为了保证Web服务组合执行获得正确一致的结果,用形式化方法研究Web服务事务处理的协调过程是很重要的。基于Web服务事务规范(Web services transaction,WS-TX),提出了一种由业务流程执行语言(business process execution language,BPEL)自动生成Web服务多参与者协调事务模型的方法。介绍了Web服务协调的Pi-演算建模方法,阐述了如何由BPEL描述的业务流程建立服务协调事务模型,进一步给出了自动生成该协调模型的算法描述,并通过具体实例说明了该方法的正确性及可行性。     

基于WS-C/T协议的Web服务业务事务处理研究与实现

与原子事务严格遵循ACID特性相比,Web服务业务事务具有异构、分布式、长时间运行、松耦合的特点.它允许参与者独立提交,并使用补偿操作来撤销已提交的子事务所带来的影响.针对传统事务处理模型不适合处理业务事务的情形,设计一个基于WS-C/T协议的Web服务业务事务处理原型系统,把用于协调的WS-C拂议和用于业务事务处理的WS-BA协议相结合来实现Web服务的组合应用.业务事务处理系统主要由客户端、协调者和参与者三个部分组成,客户端发起业务事务,协调者和参与者提供业务事务协调与处珲接口,实现业务事务一致性.最后通过一个业务事务应用实例,验证了原型系统的可行性,它具有协调和补偿能力.     

Apache ODE环境下Web服务组合技术的研究

BPE以业务流程执行语言)是一门用于自动化业务流程的形式规约语言,它对Web服务组合进行描述,而ApacheODE执行引擎负责BPEL定义的解析和执行,为BPEL流程提供运行环境,但是Apache ODE引擎部署和执行BPEL流程还需要各种服务的WSDL描述、组合后的服务的WSDL描述以及流程部署描述文件,Apache ODE并不提供工具为完成这些功能.通过对Apache ODE结构以及部署、执行BPEL流程的原理进行分析,设计算法自动生成部署描述文件和服务的WSDL描述等,从而完成Apache ODE引擎环境下服务组合的自动化部署和执行.     

面向服务架构的流程状态保存与恢复方法

以业务流程执行语言(BPEL)为基础,选取无状态的Web服务,采用有色Petri网模型描述业务流程,设计一种多输入多输出、引擎集中式的流程执行结构,使用关联矩阵和消息的双向传递实现应用级的状态保存。当流程异常中断时,提供恢复执行所需的最小状态集合,保证基于Web服务BPEL的面向服务架构应用的正确性和连续性。实例分析表明,该方法实用性强、可靠性高。     

基于AOP的Web服务失效恢复机制

为解决服务失效带来的Web服务组合运行时可靠性问题,消除失效恢复处理对正常业务逻辑的干扰,分析了BPEL引擎内置异常处理机制的局限性,提出了一种基于AOP的Web服务失效恢复机制.将QoS纳入服务选择指标,在流程执行前,通过查询UDDI及QoS约束过滤,预先获得各成员服务的候选服务集合;引入面向切面(AOP)技术扩展BPEL引擎,通过容错代理切面拦截服务请求和调用服务实例,在失效发生时利用候选服务集合中的等价服务替代失效服务,提高了服务组合运行时的可靠性,并使失效恢复处理从功能性业务逻辑中分离.实验结果表明该方法具有可行性和有效性.     

基于有色Petri网的BPEL中flow活动建模*

面向 Web 服务的业务流程执行语言BPEL本身缺乏健壮的语义,构建Web组合服务又是一种易于出错的任务。基于有色赋时Petri网,提出了从BPEL描述的Web组合服务流程中Flow活动到有色Petri网模型的转换方法。在转换过程中考虑了BPEL活动的执行方式和执行环境,如环境属性、活动之间的相互作用等,给出更为精确的模型,为更好地使用工具和现有方法验证以及测试Web组合服务奠定了基础。     

BPEL中同步与异步机制

Web服务业务流程执行语言(BPEL)是一种Web服务组合语言。本文详细分析了BPEL中的并发和同步控制、同步与异步通讯机制,并举例说明。     

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

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

基于活动授权的组合Web服务业务流程动态访问控制模型研究

业务流程访问控制机制是组合Web服务安全应用中的难点问题。针对现有研究不足,提出基于活动授权的Web服务业务流程动态访问控制模型AACBP(Activity Authorization Based Dynamic Access Control Model for BPEL4WS)。通过解除组织模型和业务流程模型间的耦合关系,AACBP将活动授权作为BPEL4WS(Business Process Expression Language for Web Services)活动访问控制实施的基本单元。依据活动实例动态感知上下文,AACBP细粒度约束活动访问授权,实现授权流与业务流程执行同步。最后给出AACBP模型在Web服务安全组合中的实施机制。     

面向活动的BPEL4WS动态访问授权模型及实现研究

业务流程访问控制机制是Web服务组合应用中的难点。针对现有BPEL4WS安全访问控制研究的不足,提出面向活动的BPEL4WS动态访问授权模型(ADABM)。通过解除组织模型和业务流程模型间的耦合关系,ADABM将BPEL4WS访问权限约束细化到活动一级,用户只在流程执行会话期的活动符合安全需求的情况下才拥有Web服务的访问授权,授权随着业务流程上下文动态授予和收回,授权流与业务流同步执行。文中最后还给出ADABM模型在Web服务安全组合应用中的实施框架。     

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

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

基于WS-BPEL 的Web 服务组合技术

随着Web服务技术的不断发展,越来越多的Web服务已经发布在互联网上。然而独立的Web服务功能通常有限,不能满足用户或企业实际应用的需求。因此,Web服务的组合显得越来越重要。介绍了Web服务组合和WS-BPEL的相关知识,使用最新的业务流程执行语言WS-BPEL描述业务流程,在J2EE集成开发环境下设计并实现了基于业务流程思想的贷款审批应用实例,在Web服务执行引擎Active BPEL上进行部署,对Web服务进行了有效的组合。     

一种基于BPEL的网格工作流引擎

随着网格应用复杂性的不断增加,需要将多个网格服务编排成为一个网格服务工作流模型,然后由工作流引擎执行对网格服务的调用.为此,我们设计并实现了一个基于BPEL的网格服务工作流引擎BPEL FlowEngine.考虑到网格环境的各种特征,该引擎采用分级处理机制,可以同时调用Web服务、网格服务以及网格调度器.本文将介绍该引擎的结构和具体实现技术,并且与GWES引擎的性能进行比较,最后描述了该引擎在生物信息学计算中的示范应用.     

基于QoS的自适应控制中间件研究与应用

文章重点研究在自适应控制中间件支持下,Web服务组合执行引擎的QoS管理机制,设计了一个基于QoS的自适应控制中间件,并应用于Web服务组合执行引擎当中,以支持对服务请求的分级处理,实现了为不同等级用户提供区分服务的功能,为提高可变负载下单个执行引擎的高吞吐量和快速响应时间提供了一种有效的解决方案。     

基于自治服务协调的长事务处理框架

针对Web服务应用中大量的长事务处理请求,基于自治服务协调的长事务处理框架实现统一的信息资源管理和协调调度.框架通过将协调上下文广播到各个参与者,并协调参与者各自的操作,从而完成业务事务的处理.在多方参与的复杂业务规则下,框架能保证聚合事务处理过程中事务状态的一致性.     

Web服务组合中商业事务处理的研究

Web服务组合已经成为业界的研发热点．在Web服务组合中，不同的成员Web服务之间存在着操作一致性和可靠性的处理要求，需要在Web服务组合中提供对于事务处理的支持．尽管目前业界已经存在许多的Web服务组合模型和描述语言，但是都没有提供对于事务处理的支持．本文分析了Web服务组合中的事务处理需求，通过扩展在Web服务组合描述语言中已经占据主导地住的BPEL4WS规范，在BPEL4WS中引入了对于主流的Web服务事务协议的支持，并在此基础上实现了一个原型系统TAWSCRS．     

一种基于认知模型检测的Web服务组合验证方法

近几年Web服务组合的形式化验证逐渐成为研究热点.模型检测作为形式化验证的一种主流技术,可以克服传统软件测试用例生成不完备的不足,同时具有验证自动化的优点.该文提出并实现了一种Web服务组合的认知模型检测方法,将Web服务组合建模为多主体系统,在分析BPEL语言控制流程基础上,提出BPEL活动的形式化模型,给出活动执行...