| 摘要 | 第1-7页 |
| ABSTRACT | 第7-11页 |
| 第一章 引言 | 第11-27页 |
| ·业务过程建模的基本技术和发展概况 | 第11-21页 |
| ·业务过程模型 | 第11-12页 |
| ·业务过程建模符号 | 第12-16页 |
| ·业务过程执行语言 | 第16-19页 |
| ·视窗工作流基础 | 第19-21页 |
| ·模型分析技术的研究历史及现状 | 第21-25页 |
| ·本论文的选题和研究内容 | 第25-27页 |
| 第二章 业务过程模型的 Petri 网形式化检查方法 | 第27-48页 |
| ·业务过程模型 | 第28页 |
| ·业务过程流网 | 第28-29页 |
| ·流程对象的转换 | 第29-35页 |
| ·连接对象的转换 | 第35-36页 |
| ·泳道的转换 | 第36-37页 |
| ·业务过程流网的分析方法 | 第37-38页 |
| ·XPDL到ILOG的转换 | 第38-42页 |
| ·实例分析 | 第42-47页 |
| ·本章小结 | 第47-48页 |
| 第三章 业务过程模型的路径规约方法 | 第48-59页 |
| ·工作流基础 | 第49-50页 |
| ·结构良好的关联业务过程模型 | 第50-52页 |
| ·非良构业务过程模型的调整方法 | 第52-54页 |
| ·业务过程模型中的路径规约方法 | 第54-56页 |
| ·实例分析 | 第56-58页 |
| ·本章小结 | 第58-59页 |
| 第四章 数据网关和顺序流的转换方法 | 第59-76页 |
| ·数据的转换 | 第59-61页 |
| ·异或网关的转换 | 第61-64页 |
| ·并行网关的转换 | 第64-66页 |
| ·或网关的转换 | 第66-67页 |
| ·复杂网关的转换 | 第67-70页 |
| ·顺序流连接的转换 | 第70-71页 |
| ·分支内部的转换 | 第71-72页 |
| ·实例分析 | 第72-75页 |
| ·本章小结 | 第75-76页 |
| 第五章 业务过程模型中事件和任务及子过程的实现 | 第76-102页 |
| ·事件的转换 | 第76-81页 |
| ·通用事件的转换 | 第77-78页 |
| ·时钟事件的转换 | 第78-79页 |
| ·终止事件的转换 | 第79-80页 |
| ·补偿事件的转换 | 第80-81页 |
| ·任务的转换 | 第81-91页 |
| ·名称属性 | 第81-82页 |
| ·任务脚本 | 第82-83页 |
| ·标准循环子节点 | 第83-85页 |
| ·多实例循环子节点 | 第85-88页 |
| ·任务的捕捉补偿事件 | 第88-90页 |
| ·任务的时钟事件 | 第90-91页 |
| ·子过程的转换 | 第91-93页 |
| ·模型转换算法 | 第93-95页 |
| ·实例分析 | 第95-100页 |
| ·本章小结 | 第100-102页 |
| 第六章 结论和展望 | 第102-104页 |
| ·本论文研究总结 | 第102页 |
| ·前景展望 | 第102-104页 |
| 致谢 | 第104-105页 |
| 参考文献 | 第105-114页 |
| 攻博期间取得的研究成果及科研工作情况 | 第114-115页 |