一种跨组织业务流程死锁检测方法

摘要	第1-5页
Abstract	第5-9页
1 绪论	第9-12页
·选题背景	第9页
·研究意义	第9-10页
·技术路线和研究内容	第10-12页
2 相关研究及文献综述	第12-19页
·流程模型验证与死锁	第12-13页
·死锁检测方法	第13-14页
·角色网络模型(RNM)	第14-16页
·Pi演算和MWB	第16-19页
3 跨组织业务流程的结构表示与扩展约简规则	第19-28页
·跨组织业务业务流程特征分析	第19-20页
·基于RNM的跨组织业务流程的结构表示	第20-23页
·支持动态流程的扩展约简规则	第23-28页
·终端约简规则	第23-24页
·顺序约简规则	第24-25页
·邻近约简规则	第25-26页
·闭合约简规则	第26-28页
4 死锁检测方法	第28-40页
·利用MWB的死锁检测结果分析	第28-30页
·基于Pi演算的三种复杂流程结构的死锁判别验证	第30-33页
·针对多起点、多终点流程的死锁判别准则	第33-36页
·死锁检测过程	第36-40页
5 应用验证	第40-52页
·面向电子政务的死锁检测实例验证	第40-43页
·面向电子商务的死锁检测实例验证	第43-47页
·面向应急管理的死锁检测实例验证	第47-52页
结论	第52-54页
参考文献	第54-58页
攻读硕士学位期间发表学术论文情况	第58-59页
致谢	第59-60页