太原理工大学硕士研究生学位论文
目录
第一章绪论 (1)
1.1 课题研究背景及意义 (1)
1.1.1 研究背景 (1)
1.1.2 研究意义 (2)
1.2 国内外研究概况 (3)
1.3 本文的研究内容与贡献 (5)
1.4 本文的组织结构 (7)
第二章业务流程建模与模型检测概述 (9)
2.1 业务流程建模技术简介 (9)
2.1.1 流程图 (10)
2.1.2 数据流图 (10)
2.1.3 角色交互图 (11)
2.1.4 功能建模方法IDEF0 (12)
2.1.5 工作流技术 (13)
2.2 模型检测 (14)
2.2.1 形式化方法概述 (15)
2.2.2 模型检测工具概述 (19)
2.3 本章小结 (20)
第三章由BPMN流程到Java代码的转换 (21)
3.1 BPMN简介 (21)
3.1.1 BPMN的核心元素 (22)
3.1.2 BPMN的主要结构模型 (24)
3.1.3基于BPMN元素的业务流程 (26)
3.2 BPMN流程到Java代码的实现 (27)
3.2.1 Eclipse环境中BPMN流程的编辑 (28)
3.2.2 BPMN流程到Java代码的实现机制 (30)
3.3 BPMN文件到Java代码的转换实例 (35)
VII
万方数据
太原理工大学硕士研究生学位论文
3.3.1 私有业务流程Java代码的实现 (35)
3.3.2 协作业务流程Java代码的实现 (37)
3.4 本章小结 (38)
第四章BPMN流程路径追踪及模型检测 (39)
4.1 BPMN流程的执行路径追踪 (39)
4.1.1 业务流程结构模型分析 (39)
4.1.2 业务流程的执行 (42)
4.1.3 实例测试 (45)
4.2 BPMN流程中常见的问题 (47)
4.2.1 常见的语法问题 (47)
4.2.2 常见的结构问题 (47)
4.3 BPMN流程的模型检测及问题定位 (48)
4.3.1 改进的展开算法——状态规约 (48)
4.3.2 对死锁、活锁的检测及定位 (50)
4.3.4 简单结构实例测试 (53)
4.4本章小结 (55)
第五章实验过程及结果分析 (57)
5.1 功能实现框架 (57)
5.2 可视化界面显示 (58)
5.3 实例验证 (59)
5.3.1 多分支网关流程检测 (59)
5.3.2 死锁、活锁流程检测 (60)
5.4 本章小结 (61)
第六章总结与展望 (63)
参考文献 (65)
致谢 (69)
攻读硕士学位期间发表的学术论文 (71)
VIII
万方数据