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

发布时间：2017-12-19 09:36

  本文关键词：基于Eclipse平台的BPMN流程输人及其结构检测

  更多相关文章： BPM BPMN 模型检测 全覆盖路径 死锁、活锁定位

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

【参考文献】

中国期刊全文数据库 前10条

1 李宗花;周晓峰;吴克力;陈伏兵;;基于扩展Petri网模型的BPMN形式化[J];计算机科学;2016年11期

2 潘理;杨勃;;时间Petri网的随机模拟[J];计算机科学;2016年11期

3 李雪萍;方贤文;王丽丽;;基于Petri网行为轮廓的医疗流程挖掘方法[J];长春师范大学学报;2016年10期

4 徐倩;应时;贾向阳;耿江屹;李琳;;基于层次着色Petri网的网构软件性能建模与仿真分析方法[J];小型微型计算机系统;2016年04期

5 严亚伟;周雁舟;惠文涛;;模型检测在完整性形式化验证中的应用研究[J];计算机工程与应用;2017年04期

6 崔竞松;路昊宇;郭迟;何松;;基于事件驱动机制的虚拟化故障检测恢复系统[J];计算机工程;2015年02期

7 沈满;赵嵩正;刘婧;;依据角色权限的审批工作流模型构建[J];计算机工程与应用;2015年04期

8 侯刚;周宽久;勇嘉伟;任龙涛;王小龙;;模型检测中状态爆炸问题研究综述[J];计算机科学;2013年S1期

9 傅作为;乐晓波;王慧英;;加权的时间Petri网工作流模型研究[J];计算机工程与应用;2014年15期

10 杨鹏玉;邱锦伦;;基于Pi演算的BPMN编排模式[J];计算机工程;2009年23期

中国博士学位论文全文数据库 前1条

1 李向宁;业务过程管理理论与若干关键技术研究[D];西北大学;2007年

中国硕士学位论文全文数据库 前5条

1 王克丽;复杂信息系统流程验证及统一建模平台实现研究[D];太原理工大学;2016年

2 范章海;基于MDA的Web代码自动生成技术的研究[D];东北师范大学;2014年

3 马秦涛;基于MDA的实时系统代码自动生成方法研究[D];昆明理工大学;2014年

4 杜玉姣;多Agent工作流模型的研究与实现[D];西安电子科技大学;2014年

5 冯英英;基于MDA的代码生成技术的研究与应用[D];西安电子科技大学;2011年

，

本文编号：1307744