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

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

服务管理代理中Web服务的调用策略研究

服务管理代理在面向服务架构的系统中作为一个Web服务的管理中介,担负起按需动态调用Web服务的重要任务研究并实现了服务管理代理调用其所管理的Web服务的策略--响应向服务管理代理发出的Web服务请求.最后通过实现其内部的服务代理工厂利用Web服务同步调用/异步调用的机制实现对Web服务的有效动态调用.     

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

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

基于动态代理的BPEL恢复机制*

提出了一种基于动态代理的方法来提高流程的可靠性。该方法使用面向方面技术扩展BPEL引擎来拦截调用伙伴服务,并由动态代理与伙伴服务交互。如果伙伴服务失败,则动态代理动态地发现并调用等价服务。动态等价服务发现结合了传统的基于关键字的服务发现和基于本体的服务发现两种技术。采用消息转换机制来解决失败服务与替换服务之间接口不匹配的问题。此外,还提供了基于浏览器的管理界面来帮助设计人员管理替换服务和消息转换规则。最后,通过实验分析表明该方法是一种可行的方案。     

基于BPEL的Web服务组合应用研究

论文对基于BPEL的Web服务组合机制进行了深入研究,通过一个开发实例,给出了基于ActiveBPEL Designer设计实现Web服务组合的过程,并对部署和测试该BPEL流程的方法进行了讨论。     

基于WS-BPEL的服务组合流程建模工具的设计与实现

详细介绍了基于BPEL语言的可视化Web服务组合流程建模工具的体系结构;引入节点和弧的概念实现可视化流程编辑器;采用图形化方法和流程图到WS-BPEL元素的映射技术,实现了Web服务组合流程模型的建立、编辑和配置等功能,简化了抽象流程到可执行流程的转化;提出了基于Web服务QOS约束的服务查询、QOS本体表示和QOS筛选方案,使得符合用户需求的Web服务能够被动态灵活地绑定到业务流程中.     

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

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

基于Web服务的异构工作流互联接口设计

为了实现企业间异构工作流系统的优势互补和信息共享,针对工作流呈现出的异构、分布等特点,提出了一种基于Web服务的异构工作流流程互联接口设计,以解决异构流程互联问题。从调用接口、调用方式、调用返回等三个方面描述了基于Web服务的流程互联解决方案;并以XPDL描述的SynchroFlow工作流流程与BPEL描述的ODE工作流流程为例,实现了这两种异构工作流的流程相互调用。     

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

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

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

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