面向语义约束的协同验证研究
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-11页 |
| 第一章 绪论 | 第11-19页 |
| ·引言 | 第11页 |
| ·工作流技术 | 第11-13页 |
| ·CSCW和工作流技术 | 第12页 |
| ·网格工作流的概念 | 第12-13页 |
| ·工作流的验证 | 第13-16页 |
| ·网格工作流验证的研究现状 | 第14-15页 |
| ·网格工作流验证中存在的问题 | 第15-16页 |
| ·有关本论文 | 第16-19页 |
| ·主要研究内容 | 第16-17页 |
| ·主要贡献和创新点 | 第17页 |
| ·论文结构安排 | 第17-19页 |
| 第二章 网格工作流的协同验证理论 | 第19-30页 |
| ·CSCN的基本概念 | 第19-24页 |
| ·Petri网的基本概念 | 第19-20页 |
| ·语义约束网SCN | 第20-21页 |
| ·SCN的协作方式 | 第21-24页 |
| ·协同验证的概念和模型 | 第24-29页 |
| ·协同验证的概念 | 第24-26页 |
| ·协同验证的过程 | 第26-28页 |
| ·大规模复杂流程协同验证的特点 | 第28-29页 |
| ·本章小结 | 第29-30页 |
| 第三章 网格工作流协同验证的化简规则 | 第30-55页 |
| ·协同验证的化简规则 | 第30-52页 |
| ·子网类型定义 | 第30-35页 |
| ·子网级化简验证的前提 | 第35-36页 |
| ·子网级化简规则描述 | 第36-50页 |
| ·子网化简的活性保持性 | 第50-52页 |
| ·化简规则有效性与完备性的证明 | 第52页 |
| ·示例 | 第52-54页 |
| ·本章小结 | 第54-55页 |
| 第四章 应用实例 | 第55-65页 |
| ·实例描述 | 第55页 |
| ·子模型的建立 | 第55-59页 |
| ·客户流程 | 第55-56页 |
| ·商家流程 | 第56-57页 |
| ·邮局流程 | 第57-58页 |
| ·银行流程 | 第58-59页 |
| ·子模型的化简 | 第59-61页 |
| ·合成模型的化简 | 第61-63页 |
| ·本章小结 | 第63-65页 |
| 第五章 结论和进一步的工作 | 第65-67页 |
| ·论文总结 | 第65页 |
| ·进一步的工作 | 第65-67页 |
| 参考文献 | 第67-71页 |
| 致谢 | 第71-72页 |
| 附:攻读硕士期间参加的研究项目 | 第72页 |
