基于规则库的工作流流程文件转换方法

针对工作流流程定义文件之间需要相互转换的问题,提出了一种基于规则库的流程定义文件转换方法.该方法首先通过建立映射规则库采存储不同流程定义语言间相互转换的规则,然后在转换过程中动态查找规则库,获取当前流程定义转换所需要的规则,最后用获取的规则初始化转换引擎以实现流程定义文件的转换.采用上述方法建立了从XPDL(Xml process definition language)到BPEL(business process execution language)及BPEL到XPDL之间的转换规则库,运用该规则库完成了实例的相互转换.实验结果表明了该转换方法的可行性和有效性.     

基于商业流程执行语言的工作流管理系统的研究和实现

Web服务的商业流程执行语言(简称BPEL4WS或BPEL)是一种基于XML的工作流定义语言,可以作为企业工作流建模和实现工作流管理系统的基础.本文首先介绍了工作流和BPEL4WS的基本概念,然后由一个例子具体介绍了BPEL4W的流程,最后给出了基于BPEL4WS工作流管理系统的实现.     

一种基于模板的过程定义语言的探讨与研究

首先介绍了工作流和XML过程定义语言（XPDL），并提出了XPDL在实际使用过程中的不足之处。对XPDL进行了一定的改进，提出一种基于模板的过程定义语言，包括对该语言的元模型的介绍、该语言如何在XPDL的基础上将流程数据和业务数据相分离，从而实现可重用性和可扩展性。最后，利用该语言实现了一个进行过程定义的工具。     

层次化服务流程向可执行BPEL转换的方法

基于人工智能规划的服务组合算法得到的组合方案是一种层次化服务流程（layered service process, LSP）,由服务之间的数据流（而非传统块结构流程中的控制结构）加以驱动执行。为使该类服务流程能在业务
　　过程执行语言（business process execution language,BPEL）引擎上直接执行,研究了将LSP转换为BPEL的方法,追求BPEL执行效率的优化。给出了LSP的形式化模型,分析了将LSP转换为BPEL的3种策略（完全拆分、按层拆分、按块拆分）,定性对比了三者之间的性能优劣。针对按块拆分策略,提出了9条规则用于对LSP的拆分,提出了块拆分算法和块合并算法。通过一个LSP案例对转换过程进行了演示,并通过实验证实了该转换方法可以获得比其他转换策略性能更好的BPEL。     

BPEL 流程建模中的交叠模式分析与转换

由图形化流程建模语言生成可执行的业务流程语言(business process execution language,简称BPEL)时,对于源模型中顺序与并发结构交织的情况(称为交叠模式),传统的复制相关活动方法缺少系统分析及形式化描述.针对这一现状,提出基于工作流网的UML活动图生成BPEL方法,以自由选择工作流网作为活动图的理论基础,利用活的、有界的自由选择网系统的合成规则,定义合理的自由选择工作流网中的两种交叠模式,针对其中一种给出复制相关活动的形式化转换方法,并借助Petri网的并发正则表达式证明转换等价性,说明另一种交叠模式中复制相关活动方法的适用范围.针对BPEL流程建模及图形化流程语言生成块状语言过程中的交叠模式转换问题,给出形式化的描述与解决方法.     

XPDL模型到WWF模型转换技术的研究

WWF(Windows workflow foundation)是一个可扩展框架,用于在Windows平台上开发工作流系统.WWF在.NET平台上构建工作流具有很强的优势,但是WWF对外不符合WfMC制定的XPDL标准的工作流模型,限制了WwF的广泛应用.为了解决上述问题,提出并开展了XPDL模型到WWF模型的转换研究,通过研究XPDL模型到WWF模型之间的映射,实现了XPDL模型到WWF模型的转换,从而实现了WWF与其他工作流产品在公共格式XPDL基础上进行数据共享,有助于实现基于XPDL的工作流平台向.NET工作流平台的迁移.     

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

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

基于对象Petri网工作流建模的研究与实现

结合XPDL（XML Process Definition Language）标准、对象技术和Petri网理论提出了一种工作流网。该工作流网通过Petri网的数学分析来完成对流程的分析验证;通过对象技术来降低流程建模复杂度;通过工作流网和XPDL的映射机制来保证其实用性。在此基础上实现了一套流程建模及分析工具。     

有色Petri网协作模型的BPEL代码实现

Web服务业务流程执行语言（BPEL）提供了有力的技术来聚合封装的功能以及定义高质量的Web服务,然而,尽管功能强大,但是BPEL却难于使用。另一方面,有色Petri（CPNs）可以用于模拟、分析以及校验Web服务。为了在CPNs协作模型和业务流程的执行之间建立一座桥梁,给出了基于CPNs从过程模型驱动演绎出一致的BPEL代码的方法。首先,把CPNs协作模型转换为结构工作流网模型;然后,把工作流网模转换为BPEL代码,最后,通过电话机故障修理的案例研究,说明了算法的有效性。     

BPM之大局势

今天,jBPM已经成为工作流领域最受欢迎的开源产品;而BPTrends报告告诉我们,当今BPM市场中,BPMN、BPEL占有的市场份额分别为41％、26％,远远超过日渐式微的XPDL（6％的市场份额）。     

WPDL规范化工作流模型研究

WPDL(WorkflowProcessDefinitionLanguage)提供了一个公共的工作流定义交换格式,使得在不同的工作流管理系统产品之间交换模型定义成为可能。但由于不同系统模型的差异,要实现模型交换,仍然需要解决许多难题。该文介绍了WPDL元模型和CIMFlow模型(CIMS工程研究中心开发的工作流管理系统)的具体结构,给出了一种WPDL规范化工作流模型的实现方法。该文所提出和实施的模型转换方法对于其他工作流模型向WPDL规范模型转换有重要的参考价值,针对WPDL规范中存在的问题提出的增补与修改建议对于完善WPDL规范有促进作用。     

基于eEPC和UML的企业建模

通过分析扩展的事件驱动过程链(eEPC)和统一建模语言(UML)的特点,提出两者相结合的建模方法,利用eEPC进行需求分析和初步设计阶段的建模工作,用UML进行详细设计阶段的建模工作。该方法不仅有利于建模工作前期的决策过程,也保证了建模工作后期对模型的一致性理解,并简化了模型之间的转换工作。     

基于BPEL4WS的Web服务整合研究

业务流程执行语言（BPEL4WS）是整合Web 服务的标准，其作用是将一组现有的服务整合起来，从而定义一个新的 Web 服务。首先介绍了业务流、工作流、以及BPEL4WS在Web服务建模方面的基本概念，建立了BPEL4WS整合Web服务模型，提出了组合服务的方法和过程。最后通过实例证明了BPEL4WS服务整合的实用性。     

工作流网XPDL映射

工作流过程定义是工作流管理系统过程模型建立阶段的功能。工作流过程定义可以采取不同的建模方法,而工作流网是Petri网技术在过程定义中的具体应用。XPDL是工作流管理联盟提出的工作流过程定义语言,主要用于不同工作流产品过程定义之间的交换。文章在分析工作流网和XPDL特性的基础上,给出了工作流网向XPDL映射的方法。     

基于扩展同步Petri网的BPEL建模

使用业务流程执行语言(BPEL)描述复杂业务流程时容易出错。针对以上问题,通过对同步Petri网进行扩展,设计一个更适合BPEL建模的模型SPN-NET,给出各种BPEL结构化活动到SPN-NET的转换,提出一种具有一般性的相似性化简算法。合理性验证和性能分析表明,该模型简洁紧凑,可理解性好。     

Gaussian Process Dynamical Models for hand gesture interpretation in Sign Language

Classifying human hand gestures in the context of a Sign Language has been historically dominated by Artificial Neural Networks and Hidden Markov Model with varying degrees of success. The main objective of this paper is to introduce Gaussian Process Dynamical Model as an alternative machine learning method for hand gesture interpretation in Sign Language. In support of this proposition, the paper presents the experimental results for Gaussian Process Dynamical Model against a database of 66 hand gestures from the Malaysian Sign Language. Furthermore, the Gaussian Process Dynamical Model is tested against established Hidden Markov Model for a comparative evaluation. A discussion on why Gaussian Process Dynamical Model is superior over existing methods in Sign Language interpretation task is then presented.     

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

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

一种BPEL流程数据竞争检测方法

对使用业务流程执行语言(BPEL)组织流程中存在的数据竞争问题进行了研究,根据BPEL特性提出了一个静态分析和动态监控相结合的有效检测方法.实验结果表明,该方法能够准确检测出流程中存在的数据竞争,提高了流程的可靠性.