基于Eclipse平台的BPMN流程输人及其结构检测.docVIP

基于Eclipse平台的BPMN流程输人及其结构检测 在计算机技术、分布式技术快速发展的今天,业务流程管理BPM作为一种有效的管理系统,具有高效的调度特点,可以实现跨部门、跨企业之间的业务协作,备受企业家、商家和学者的青睐。BPM实现业务流程的定义、建模、分析、改进、执行以及管理,但是BPM提出的概念往往是抽象的,要想实现对流程的控制需要借助许多技术。近些年来,国内外学者对BPM进行了深入的研究,主要研究方向包含:流程建模理论和方法、流程的模型转换、流程的形式化描述、流程的验证、流程的仿真等。大多数研究都是基于对业务流程的形式化描述和模型检测,尚未见诸报道一套完整的方法实现“流程建模→模型转换→流程执行路径显示→模型检测→结构问题定位”。 因此本课题提出了能同时实现对流程的仿真和结构检测的方法,本文主要做了以下工作:(1)列举了几种不同的流程建模符号和模型检测工具,并指出了它们的优缺点。通过对比选择了BPMN作为流程建模符号。(2)分析了由BPMN图形符号到对应Java类的转换过程,并给出几个BPMN流程的代码框架。(3)使用树结构存储BPMN流程中带索引的每个元素,结合栈机制探索流程的所有路径,即全覆盖路径。 (4)对流程节点进行状态规约,结合模型检测算法对业务流程的结构进行检测,同时对流程的死锁、活锁进行定位。在活锁出现的地方设置“cutoff point”,当检测到该元素是活锁之后当前路径不再继续执行,以此用来减少对状态空间的探索,以免发生状态爆炸。(5)设计了一个简单的可视化界面,可以显示完整的由BPMN流程的模型转换到模型检测过程,实现了流程的全路径覆盖显示和结构问题定位。本文在基于Eclipse的统一平台下,实现了从流程创建、Java代码生成、模型检测、流程路径的显示以及死锁、活锁定位的一系列过程。