基于BPEL的颗粒堆积仿真的网格计算服务

提出了颗粒堆积仿真过程的并行计算和并行可视化的实现方法,大大减少了颗粒堆积计算的时间.并通过商业流程执行语言(BPEL)定义的工作流,实现对计算服务的流程控制、事务管理和生命周期控制,使得颗粒堆积仿真计算服务能够平滑地移植到网格计算服务平台上提供服务.     

基于着色Petri网的BPEL建模与验证

目的为了保证使用商业过程执行语言(BPEL)描述的Web服务组合的正确性。方法用着色Petri网(CP-nets)对BPEL流程进行建模、分析以及验证。结果定义了一套从BPEL到CP-nets的映射规则,该规则可以将BPEL流程转换成CP-nets,通过着色Petri网工具-CPN tools对该CP-nets进行自动分析以及验证,从而验证该BPEL流程的安全性、活性等性质。结论利用CP-nets这种形式化工具可以有效地发现BPEL流程中存在的设计错误。     

基于MDA的SOA服务协作模型

BPEL是业务流程执行语言用来描述SOA的服务协作模型,实现对已有系统业务流程的编排.但其随着整合已有系统的增多和业务流程复杂性的增加,BPEL建模也变得异常复杂.本文给出了一种基于MDA模型驱动转换的方法来建立SOA服务协作模型.针对建立SOA服务协作模型的复杂性,在平台无关层建立UML活动图描述服务协作模型的交互过程,通过建立模型之间的映射规则,将平台无关层模型自动转换到平台相关层BPEL模型,试验表明:该方法能较好地简化SOA服务协作模型的建立过程.     

一种面向服务的协同工作流设计

在对基于SOA的工作流进行扩展的基础上,进一步考虑对人工参与的支持,并提出一种基于服务组合工作流模型的辅助决策系统架构。首先扩展了BPEL以描述抽象工作流,并支持人工任务的参与,然后参考OWL-S语言和技术实现服务的动态组装和分配,最后提出一种人机融合的机制描述了工作流的执行机理。     

一种基于Petri网的服务组合流程分析方法

虽然业务流程执行语言(BPEL)有很多特征使它适合组合流程的描述,但它缺乏形式化语义,从而不能对组合流程进行严格的分析和验证。本文提出了一种基于Petri网的BPEL语言所对应的组合流程分析方法。应用Petri网来描述BPEL所定义的组合流程,描述组合流程的基本活动及它们之间关系,进而分析了组合流程结构上的合理性。通过实例网的构建,给出了流程可组合性的判定定理,并提出减少服务搜索空间的算法。最后,应用具体实例模拟组合流程的分析过程,展示了该方法的有效性。     

动态服务流程模型混合分割方法及应用

为统一跨组织之间的服务流程定制问题,提出了基于高级Petri网的动态服务流程模型混合分割方法,将一个全局的BPEL模型分割为若干个完备的执行分片,根据组织的不同,分别放置在多个BPEL引擎上协同执行,在此基础上进行了模型混合分割的正确性验证.通过示例验证了BPEL流程模型混合分割执行的可行性,最后结合示例给出了支持模型混合分割的原型系统.仿真结果表明:动态服务流程模型混合分割方法支持下的多个BPEL引擎分布式执行比集中式BPEL引擎的集中编制有明显的优势,从而提高了服务流程引擎的吞吐率,也减少了服务响应时间的花费.     

基于SOA的服务组合技术研究

本为针对移动通信业务信息处理手段差异较大,数据存在不一致性,系统间数据交互和共享困难的问题,构建基于SOA的移动服务平台架构,并在此基础上,利用BPEL技术规范松耦合性、高度敏捷、面向服务等特点,实现各个服务间的协同合作。     

基于BizTalk HWS的动态工作流活动模型与实现技术的研究

针对传统工作流管理系统的不足,在开发BizTalk HWS(工作流服务)工作流应用平台的基础上,对HWS动态工作流活动模型与实现技术进行了系统深入的研究.在系统构架上采用了基于Web面向服务(SOA)的解决方案,在层次结构上使用的是N层架构,提出了能够有效适应企业大规模业务流程的活动模型,探索了基于任务驱动的工作流构造方法,研究了活动流程任务的处理机制,给出了流程任务和流程任务模板的定义;在工作流调度上,研究了基于流程调度引擎和Action任务管理器的流程动态调度机制,包括流程的调度机制、任务管理器的设计与实现;最后给出了应用实例.     

基于B+树的BPEL流程异常处理机制研究

Web服务组合具有松耦合、自治性的特点,BPEL规范中的异常处理机制也不完善,于是BPEL流程中的异常处理方法是研究的一个主要问题。针对该问题,在流程运行阶段处理异常的一些通用的策略的基础上,提出了基于B+树的等价服务替换算法,分别阐述了BPEL中同步和异步调用Web服务产生异常的情况,最后构架了一个异常处理的系统框架原型。     

基于数据流优化的BPEL流程分割方法

BPEL描述的业务流程在跨组织的企业应用集成与协作中扮演着重要角色.目前BPEL流程主要采用集中式的执行方式,但是集中式执行的BPEL流程性能不高并且不能满足动态流程管理的需求.提出了一种基于数据流优化的BPEL流程分割方法,以支持BPEL流程的分散化执行.BPEL流程经过变换被表示成PFG图,提出数据流方程对PFG图进行数据流分析,扩展复制传播算法优化PFG图的数据流.最后按照流程中的角色分割BPEL流程.实验数据表明优化分割后的业务流程的吞吐率、响应时间等方面的性能有较大提高.