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

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

一种基于广义随机Petri网的BPEL建模

BPEL是一种广泛应用于支撑跨组织协同服务的组合标准.为分析BPEL语言构造业务过程的性能,基于广义随机Petri网,提出了一种BPEL模型,详细地刻画了BPEL的语法语义、活动的不同状态和执行机制,案例分析说明该模型可以有效支持服务组合定量分析.最后对未来工作进行了展望.     

基于SPIN的BPEL4WS建模与验证研究

Web服务组合研究领域的一个重要问题是如何形式化描述Web服务组合,验证服务组合的正确性,Web服务组合的形式化模型可以用来检查和验证Web服务组合以保证组合的正确性.文章使用模型检查工具SPIN对目前普遍使用的Web服务组合规范BPEL4WS (Business Process Execution Language for Web Services,Web服务业务流程执行语言)模型进行了验证,给出了BPEL4WS语法到Promela形式化模型的转换方法,最后通过一个实例对BPEL4WS表示的服务组合模型的安全性、活性和有界性等特性进行了验证分析,从而给出了基于SPIN的BPEL4WS表示的Web服务组合模型验证的方法.     

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

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

云制造环境下基于QoS的组合云服务自适应调整

为提高云制造环境下组合云服务的柔性,提出一种基于QoS的组合云服务自适应调整机制.该机制将可靠性、可用性、时间、价格和柔性度作为云服务的QoS特征,给出各特征值的量化方法和云服务QoS包含度的定义;对云制造环境下可能产生的异常进行了分类和抽象,将自适应调整逻辑引入组合云服务,建立了组合云服务自适应调整模型,并给出相应的调整算法和调整逻辑.设计了仿真实验,实验结果验证了所提方法的可行性和有效性.     

基于MDA的SOA服务协作模型

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

一种Web服务组合的数学模型

为了更好地分析和验证Web服务组合,提出了一种描述服务间消息交互的Web服务组合数学模型.首先定义了个体服务形式化模型,并分析了相关性质,然后定义了消息交互的各种逻辑以及服务组合模式,并对消息交互逻辑进行了分析和实现,在此基础上,给出了服务组合模型的定义,并通过个体服务控制器、消息逻辑控制和全局控制算法实现了Web服务组合过程.该模型简洁灵活,具有可扩展性.实例分析表明,该模型能够对服务组合中的消息交互进行模拟.     

面向数据流的服务组合演化影响性分析方法

BPEL已经成为事实上的Web服务组合标准语言,利用BPEL控制流图(BPEL flow graph,BFG)对BPEL进行建模,通过模型对服务组合的数据流进行分析,提出一个面向成员服务的数据依赖度量集;通过此度量集可以量化成员服务的数据依赖复杂度,从而分析成员服务对BPEL中数据流的影响程度与范围,为服务组合演化策略的制定及实施提供依据.     

基于顺序图的Web组合服务属性验证

为了更好地理解和分析Web组合服务的过程及其相关属性,针对个体服务的WSDL文档和服务组合规约BPEL,提出了基于UML的Web组合服务建模和验证方法.从服务的WSDL中提取消息、操作等基本元素,用类图构建静态模型,以便考虑Web组合服务数据相关属性;用顺序图对业务流程构建动态模型,以形象易理解的方式刻画组合服务的行为...     

Web服务组合的层次化建模

目的形式化地描述Web服务组合流程,为更好地使用工具和现有方法验证以及测试Web服务组合奠定基础。方法用有色Petri网对BPEL的每种活动建模,分析BPEL中、、和几种活动的共同作用,分析BPEL流程的错误处理机制和补偿机制;从网资源流动的角度完善现有的层次化有色Petri网定义,将BPEL流程的层次关系映射成层次化有色Petri网的层次关系。结果完善了层次化有色Petri网定义,提出了Web服务组合的层次化建模方法。结论层次化构建Web服务组合模型是一种可以用于大型BPEL流程的方法,所构建的模型有利于从抽象层面和细节上分析Web服务组合。     

基于时序可中断π演算的BPEL和BPEL4People建模

为了形式化地定义BPEL和BPEL4People的语义,提出了一个π演算的变种——πit演算。相对于传统的π演算,πit演算可以描述中断事件和时间事件,从而拥有更好的建模表达能力。介绍了πit演算的语法和语义,定义了一类强互模拟关系来判定πit演算进程间的行为等价,然后使用πit演算对BPEL和BPEL4People的活动进行了建模。该形式化模型有助于在BPEL和BPEL4People程序的设计阶段对其可靠性和一致性进行验证。     

A framework for interoperability of BPEL-based workflows

With the prevalence of service-oriented architecture (SOA), web services have become the dominating technology to construct workflow systems. As a workflow is the composition of a series of interrelated web services which realize its activities, the interoperability of workflows can be treated as the composition of web services. To address it, a framework for interoperability of business process execution language (BPEL)-based workflows is presented, which can perform three phases, that is, transformation, conformance test and execution. The core components of the framework are proposed, especially how these components promote interoperability. In particular, dynamic binding and re-composition of workflows in terms of web service testing are presented. Besides, an example of business-to-business (B2B) collaboration is provided to illustrate how to perform composition and conformance test.     

A template-based approach for automatic mapping between business process and BPEL process

In order to support just-in-time reconfiguration of business process execution language （BPEL） process, a template-based mapping method is proposed to map business level process to BPEL process. The method builds up mapping relationships between the key points of business level process and BPEL process, which helps users to adjust the business level process with simplified operations, and automatically maps the changes to BPEL. In addition, a case of the application of the method in a clothing enterprise was illustrated.     

组织执行力提升方法——执行逻辑框架的构建

执行力研究是组织管理研究的一个重要组成部分,执行力影响组织战略决策的实施,是组织提升竞争力的基石。执行逻辑是从全局的角度看待问题,全面提升组织执行力的过程。执行逻辑涉及执行的起因、战略决策的制定、执行过程中的制度、机制、文化等,以执行逻辑的方式提升执行力,组织就必须面对和改善自身存在的各方面的执行力问题。     

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

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

面向物流应用场景的Web服务查询与组合

为解决物流行业中运输服务查询所存在的弊端,探索Web服务查询与组合的智能化方法.通过创建Juddi注册中心,将Juddi注册中心和UDl914J相结合,实现JSP页面的面向物流场景的Web服务发布与查询.利用业务流程执行语言(BPEL)技术对服务进行选择与组合,从而实现面向物流场景的智能化Web服务查询与组合.试验结果表明,组合结果符合实际要求.     

基于BPEL的网格工作流系统

设计并实现了一个基于业务流程执行语言(business process execution language,BPEL)的网格工作流管理系统.针对满足网格环境中的特殊需求,如状态的交互、动态服务绑定、高吞吐量和可扩展性、界面友好的工作流定义工具等,分别提出了BPEL与Web服务资源框架(Web service resource framework,WSRF)整合方法、BPEL的简单集群架构和面向应用组件的工作流定义等.最后,给出了在中国教育科研网格公共支撑平台(ChinaGrid supporting platform,CGSP)中网格工作流系统的原型实现.实验结果表明,原型系统支持负载均衡是正确、可行和有效的.