面向Web服务的BPEL的研究与实现

BPEL简化了将多个Web服务合成到一个新的复合服务(业务流程)中的操作过程.但如果要进一步提高BPEL流程的开发效率,还需要一个可视化的解决方案.通过一个开发实例的具体实现过程,对基于BPEL进行Web服务合成的原理和方法进行了深入的研究,并由此提出了基于Oracle BPEL流程管理器实现Web服务合成的解决方案,介绍了在该环境下部署和测试一个BPEL流程的方法.     

BPEL for People的研究与应用

Web服务的业务流程执行语言（Business Process Execution Language for Web Services．简称BPEL4WS或BPEL）是对Web服务整合的一种规范化语言。本文介绍了BPEL4WS的基本概念以及在用户交互方面的扩展（BPEL for People）,最后给出BPEL4WS文档,描述具体的流程实例。     

基于MDA的Web服务合成技术研究

Web服务合成越来越引起人们的广泛关注。对基于MDA的Web服务合成技术进行了研究：描述了Web服务合成开发方法;提出利用UML类图对Web服务合成进行结构建模,对UML活动图进行行为建模,并给出UML类图和活动图到接口描述语言（WSDL）和业务流程执行语言（BPEL4WS）的转换规则;给出一个订单管理案例证明该方法的可行性。     

基于任务依赖信息的Web服务自动合成

随着Web服务的大量出现,Web服务的合成成为当前的一个研究热点.然而,目前大多数的合成语言规范,例如BPEL4WS和WSCI,都需要人工预先设计一个固定的执行流程,难以充分发挥Web服务自适应的特点.通过形式化描述单一的Web服务,建立了通过任务间依赖规范实施合成的方法,提出了一种具有柔性和自适应能力的工作流模型,实现Web服务的自动合成.同时,设计了合成的正确性验证算法以及动态补偿机制使提出的模型易于实用.     

基于WS-BPEL的业务流程设计研究

业务流程执行语言（WS-BPEL）是当前企业业务流程管理的主流技术。在异构系统集成中,Web服务则与其他技术相结合,正发挥着越来越重要的作用。文章对Web服务合成与BPEL的关系进行了分析,研究了BPEL关键构成要素及应用BPEL进行业务流程管理的作用机制。通过一个应用实例,详细讲述了如何使用WS-BPEL进行业务流程设计。     

基于BPEL4WS的Web服务合成

在介绍了BPEL4WS的基本概念、特点及服务合成基本组成的基础上,利用BPEL4WS构建了一个虚拟第三方物流的Web服务合成系统.模型,并给出了该模型的控制流程和核心部分的代码.     

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

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

BPEL流程动态调用Web服务的实现方法

为了实现BPEL流程在运行过程中对Web服务的动态调用,提出了一种通过服务代理为BPEL流程分配Web服务的方法.对传统的Web服务模型进行分析,指出其不足之处,将服务代理引入传统的Web服务模型,提出了基于代理的Web服务模型,描述了服务代理的功能和结构,以此为基础构建了基于代理的BPEL业务流程框架,实现了Web服务的动态调用,最后通过实例说明了该方法的可行性.     

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

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

基于BPEL和QoS的动态Web服务组合框架研究

利用BPEL语言可以将单独的Web服务组合成复杂的业务流程,但是BPEL语言不支持在业务流程执行阶段进行修改操作。虽然BPEL语言有错误处理和补偿机制,但是如果业务流程不能继续执行就会影响到业务执行效率。针对这一问题,提出了基于BPEL和QoS的动态Web服务组合框架,利用QoS组件的动态绑定功能和UDDI的动态发现Web服务功能,实现在业务流程运行时动态选择Web服务的功能,从而提高业务流程的执行效率。     

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

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

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

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

服务组合BPEL测试序列生成研究

为更好地对Web服务组合的控制流进行分析和验证,提出一种映射转换模型和测试序列生成算法。首先解析基于BPEL的Web服务组合流程描述文件,然后对流程描述文件进行图形化转换,形成业务流程编排控制流程图,再采用路径推导算法对控制流程图进行解析,获取基于BPEL的服务组合的所有测试执行路径,最后通过一个服务组合实例证明模型及算法的有效性。该方法解决了测试路径的自动生成和全覆盖问题,保证了测试的充分性,提高了路径生成效率。     

基于MDA的Web服务合成

随着已有Web服务数量的不断增加,如何利用这些现有的Web服务创建新的更复杂Web服务成为一项新的研究课题。特别地,利用MDA进行Web服务合成已经成为研究的热点。本文研究了基于MDA的Web服务合成问题,针对Web合成的动态行为建模部分,提出建立基于UML的平台无关Web服务动态行为模型的方法,并且给出了平台无关动态行为模型到Web服务合成语言BPEL、WSCI之间的转换方法。     

一种基于CPN的运行时监控服务交互行为的方法

BPEL对Web服务组合的描述特性使得它很难表达和分析服务组合中的交互行为属性.这些行为属性需要遵循一定的交互协议.然而良定义的交互协议还是容易受到侵犯,这将导致服务组合进程产生状态不一致的问题.为了解决这类实际交互行为与其服务组合描述之间的不一致性问题,提出了一种由BPEL描述自动构造运行时监控器的方法.首先提出了一种基于有色Petri网(CPN)的形式化表示模型以及服务组合规约到模型的映射方法,用于精确表达从BPEL流程描述中提取的服务交互行为规约.然后,描述了由CPN形式化表示模型生成运行时监控器的方法.该运行时监控器能够捕获所有进出服务组合进程的交互消息,并且检测是否存在违背交互协议的行为.     

基于代理和BPEL4WS的Web服务合成与实现

Web服务的交互和实现被推荐通过软件代理来实现.Web服务目前还不能很好地支持动态、自适应的服务组合和分布式业务流程.软件代理在建模、知识表达和交互等技术上的优势,能够强化Web服务的交互和动态应用能力.基于代理和面向流程建模的BPEL4WS,可以实现Web服务面向业务应用的合成与执行,支持多个协同的业务流程及其动态配置.系统分析了代理、BPEL4WS和Web服务整合的技术与实现方案,利用JADE平台开发了相关的测试模型,并且以网上拍卖为案例,验证了所提方案及实现.     

基于三层组织模型的一种Web服务组合策略

在研究Web服务三层组织模型和有限状态自动机的基础上,提出了一种新的Web服务组合策略,给出了一个服务的可组合性定理,并证明了定理的正确性。该策略以Web服务三层组织模型为基础,简化了BPEL中基于有限状态自动机的Web服务自动组合,精简了服务组合流程。最后对这种新的组合策略的优缺点作了分析。