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

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

面向WS-BPEL程序的变异测试优化技术

WS-BPEL(business process execution language for Web service)是一种基于XML的、面向过程的可执行服务组装语言.由于Web服务的动态性、松耦合特性、部署与运行于开放的网络环境,如何保证WS-BPEL程序的可靠性尤显重要.尽管变异测试具有较强的故障检测能力,但由于变异体数量大、执行时间长、计算开销大,不利于在实践中广泛应用.为了增强变异测试的实用性,针对如何降低面向WS-BPEL程序的变异测试开销问题,从二阶变异和变异算子优先级角度提出了2种面向WS-BPEL程序的变异测试优化技术,开发了相应的集成化支持工具μBPEL.使用6个WS-BPEL程序实例对提出的优化技术的有效性进行验证.实验结果表明:提出的优化技术可以有效地减少变异体数目而并不显著降低变异测试有效性,提高了变异测试的效率.

基于Petri网和WS-BPEL的自动服务组合研究

为了研究Web服务的自动组合,首先设计从BPEL文档到Petri网的转换规则,并在Petri网中显示BPEL文件的执行流程,然后按照深度优先搜索算法以搜索两个状态之间的可达路径,并提供服务组合质量信息给用户,最后按照搜索到的路径,自动生成可执行BPEL文件.

一种集成WS-BPEL与业务规则的实现机制

WS-BPEL(Web Service Business Process Execution Language)已经成为在面向服务计算环境下基于Web服务的业务流程编排标准,但它缺少对业务规则的有力描述,而业务规则作为业务建模的一个重要方面,是实现柔性流程与应用的重要技术。为解决WS-BPEL中缺少业务规则的问题,提出了一种XML规则语言,用来描述业务规则,并基于WS-BPEL的扩展要求实现了标准扩展,实现了WS-BPEL与业务规则的有效集成,同时分析了此方案的适用场景。

面向WS-BPEL的访问控制策略合成研究

在Web服务组合中,外部子服务通常会定义访问控制策略以保护资源被安全的使用,同时组合脚本中也存在着复杂的逻辑控制结构,这两点因素使安全管理员在描述组合服务的访问控制策略变得非常复杂。提出一种基于条件的访问控制策略模型以及基于该模型的策略合成代数,将WS-BPEL语言中常见控制结构映射成策略合成表达式,通过合成外部子服务的访问控制策略,生成组合服务的访问控制策略。最后,设计了原型系统描述策略合成的流程。

基于WS-BPEL的工作流系统的安全机制

通信安全是Web服务所要面对的一个重要问题。对于基于WS-BPEL的工作流系统,尚没有成熟的安全实现机制。研究基于WS-BPEL的工作流安全特点,分析适合SOA架构的安全规范,并对其实现机制进行了研究,最后给出了具体安全实现,可以有效地解决工作流系统的安全传输问题。

基于WS-BPEL的物流信息系统设计与实现

针对现代物流信息系统存在的结构复杂,数据共享性低等问题,采用SOA扩展模型,利用以Web Services为基础的WS-BPEL技术实现了基于面向服务的体系架构的物流信息系统的集成。

基于WS-BPEL的可信Web服务架构的设计与分析

随着Web服务在商业服务中广泛应用,服务的可信性要求也越来越高。提出一个基于设计多样化和WSBPEL的可信Web服务解决方案,实现了一个灵活、适用的可信Web服务架构,并且使用Petri网模型分析了该架构的可信性质。

WS-BPEL业务流程与访问控制

针对面向服务的体系结构下企业应用安全需求,通过分析WS-BPEL业务流程特点,提出一种面向执行体的访问控制模型。该模型可以动态地进行权限授予与回收,并引入角色和约束机制。在此基础上,将流程活动映射到访问控制模型元素,从而在流程定义和权限管理隔离的情况下,实现WS-BPEL业务流程执行过程中的访问控制策略实施。

WS-BPEL的性能分析与测试

Web服务业务流程执行语言(WS-BPEL)能够实现分布式环境下的业务流程编排,为了衡量WS-BPEL技术带给系统的性能开销,分析了WS-BPEL流程在应用服务器GlassFish中的运行原理与执行时序,设计一组试验完成了对WS-BPEL开销增量的测试。根据试验结果估算了WS-BPEL平均每次调用Web服务需要的时间,分析产生此开销量的原因,提出了选用WS-BPEL技术的一般原则。

基于WS-BPEL过程的Web服务依赖关系分析

构件和服务等软件实体的动态更新是支撑软件系统在线演化的关键技术,该技术可以在不中断系统运行的前提下对软件系统的结构或行为进行调整。然而,为保证更新前后系统行为的一致性,只有当软件实体处于安全状态时方可进行更新。以基于WS-BPEL(Web Service Business Process Execution Language)的软件系统为例,通过分析WS-BPEL过程与其成员服务间的依赖关系,提出了一种可预判成员服务是否动态更新的算法。实验结果表明,依赖分析算法可以有效预判成员服务可动态更新的时机,从而在不影响系统行为一致性的前提下有效减少动态更新所引起的服务中断。

面向服务计算跨组织工作流互操作建模研究

大数据环境下,跨组织平台工作流业务间的协同与调度,异构系统应用之间的数据共享与交互操作是服务计算动态交换技术亟待解决的问题.结合泳道技术与WS-BPEL流程组合规范,通过模型驱动和原子化服务调用算法表达动态服务交互操作,研究跨组织平台协同服务计算互操作规范工作流结构.构建了该结构的协同服务计算互操作支撑模型,详细阐述了该支撑模型中的任务分解机制、互操作服务传递机制及引擎协同执行机制.实验分析表明,该协同服务计算工作流互操作能力能适应大数据环境下多样性、动态性及个性化特征.通过实例将该系统模型应用于高校数字基座应用服务,实现了教育数字化应用服务的动态互操作,助力教育数字基座规范建设.

基于状态方面的Web服务动态替换

随着面向服务计算技术的成熟,服务复合已成为Internet上开发企业间业务协作的一种新模式,WS-BPEL是服务复合事实上的标准。但是由于复合服务所依赖的第三方伙伴服务的分布、自治和松散耦合等特性,在执行过程中易受到伙伴服务失效的影响,可靠性无法得到保证,因此需要支持在运行时对伙伴服务进行动态替换。目前的BPEL规范只提供有限的服务替换功能,当与伙伴服务的交互涉及到一系列有状态的会话操作时,服务替换就更加复杂。通过对面向方面的研究,提出面向BPEL语言的状态方面扩展。通过状态方面,记录与伙伴服务交互过程中的会话信息。在伙伴服务失效时,通过透明地替换伙伴服务,使得与当前伙伴服务的会话信息传播到功能等价的另一个伙伴服务上,以保证流程的正常执行。通过该方法,使得BPEL流程具有一定的自愈能力,增强了流程执行的可靠性。

一种轻量级网格工作流引擎的研究与实现

如何将网格技术和现有的工作流技术相结合,通过对资源、业务的合理管理,实现虚拟组织的协同目标,近几年已成为计算机支持的协同工作领域的研究热点。本文在分析现有网格工作流系统的基础上,基于WSRF和WS-BPEL技术,提出了一种网格工作流系统的框架结构,并在该结构的基础上设计、实现了一个轻量级网格工作流引擎。

基于信息流控制的Web服务组合隐私保护方法

随着Web服务技术的发展,Web服务调用和组合中隐私保护问题也备受关注。提出一个基于分布式标签模型的Web服务模型LWSM(Label Web Service Model),允许两个不可信服务间的消息传输且不造成隐私泄露。基于LWSM给出一种解决WS-BPEL信息流安全问题的静态检查方案。

面向QoS的服务运行时绑定方案

为了有效利用系统服务体系内功能相同而服务质量(QoS)各异且实时变化的原子服务,需要根据QoS对原子服务进行运行时绑定。采用服务操作的方式从程序层面表达原子服务的QoS指标,并对这种方式的有效性和合理性进行了分析。提出用户QoS偏好计算服务,可根据用户QoS偏好生成和执行QoS指标计算模型,并采用一种服务编制模式实现原子服务的运行时绑定。最后基于WS-BPEL[1](Web服务业务流程执行语言)进行举例,结果表明了该方案能够实现面向用户QoS选择偏好的原子服务运行时绑定。

一种WS—BPEL流程的运行时监控方法

WS-BPEL作为一种webservice组合语言，如今在企业解决方案中已经得到了广泛的应用．但是，由于WS-BPEL所依赖的外部服务的自治性以及流程本身的动态性和灵活性，其执行行为在运行前是不可预知的，流程的执行进行监控．本文提出了一种对WS-BPEL流程执行期进行动态监控的方法．该方法基于Past Linear Temporal Language（PLTL）描述监控规则，采用Aspect Oriented Programming（AOP）技术作为对BPEL引擎扩展监控功能的机制，从而实现对WS-BPEL流程实例的灵活有效监控．该方法在中国科学院软件研究所自主研发的OnceBPEL引擎上已经实现，能够满足灵活有效的监控需求．

基于SOA和BPEL的业务流程管理研究与应用

针对当前软件系统开发中存在的系统和组件差异等问题,引入了面向服务的体系结构(SOA)的框架和业务过程执行语言(BPEL),给出了基于SOA和BPEL的业务流程管理框架,介绍了业务流程执行引擎的结构,并结合一个具体应用实例详细说明了BPEL流程的执行过程。

动态绑定实现自动服务编排

在面对服务架构中,业务逻辑由各种服务组件组合完成,不同服务组件完成不同业务流程的业务逻辑。面对不断变化和发展的商业环境,服务的组合性需要具有灵活性和可靠性。虽然目前已有多种方法能够优化和改善面对服务系统,但是针对服务编排自动化的应用和研究较少,这主要归因于复杂的业务逻辑和繁琐的服务编排工具。介绍一种采用一阶内涵逻辑语言(FOIL)为业务流程建立其业务逻辑的FOIL公式,通过计算FOIL公式,自动生成WS-BPEL结构以动态绑定已有的服务组件,最终完成自动服务编排。Tarski的真值理论证明这种方法具有实际应用价值。

基于BPEL的业务流程管理系统架构的研究与应用

随着商业环境的日益复杂化,对企业流程的管理受到越来越多的重视,基于BPEL的流程组合方法得到了广泛的业界支持。首先研究了Web服务业务流程执行语言(webservicebusinessprocessexecutionlanguage,WS-BPEL)的协议基础及关键技术,并给出了基于BPEL的业务流程管理系统的框架,着重介绍了业务流程执行引擎的结构,并结合一个应用实例分析了BPEL流程的执行过程。最后,提出了WS-BPEL技术目前还存在的问题以及今后的研究方向。