WS-CDL与CSP的映射及验证自动化研究
| 摘要 | 第1-4页 |
| Abstract | 第4-9页 |
| 第一章 绪论 | 第9-15页 |
| ·研究背景 | 第9-10页 |
| ·研究现状 | 第10-11页 |
| ·本文的目的和意义 | 第11-12页 |
| ·本文的主要工作 | 第12页 |
| ·本文的结构组织 | 第12-15页 |
| 第二章 相关技术概述 | 第15-33页 |
| ·业务流程管理相关概念 | 第15-16页 |
| ·流程编排描述语言WS-CDL概述 | 第16-21页 |
| ·WS-CDL的实现目标 | 第17页 |
| ·WSCDL的语法结构 | 第17-18页 |
| ·WS-CDL的活动分类 | 第18-20页 |
| ·WS-CDL的消息同步机制 | 第20-21页 |
| ·CSP介绍 | 第21-30页 |
| ·CSP表示进程的基本原理 | 第22页 |
| ·基本运算符 | 第22-26页 |
| ·CSP模型中的特征行为及性质分析方法 | 第26-30页 |
| ·工作流模式的介绍 | 第30-31页 |
| ·业务流程的性质介绍 | 第31页 |
| ·验证工具FDR2的介绍 | 第31-33页 |
| 第三章 WS-CDL与CSP的映射方法 | 第33-57页 |
| ·使用CSP对WS-CDL文档进行映射的可行性 | 第33-36页 |
| ·CSP到WS-CDL文档映射的依据 | 第33-34页 |
| ·使用CSP描述业务流程实例 | 第34-36页 |
| ·WS-CDL活动与CSP表达式的映射关系 | 第36-45页 |
| ·WS-CDL与CSP映射的标记约定 | 第36-37页 |
| ·WS-CDL基本活动与CSP的映射关系 | 第37-40页 |
| ·WS-CDL控制活动与CSP的映射关系 | 第40-43页 |
| ·对异常活动的处理 | 第43-45页 |
| ·WS-CDL文档与CSP表达式映射的算法 | 第45-48页 |
| ·WS-CDL文档的CSP模型映射的实例 | 第48-57页 |
| ·简单编排实例映射 | 第48-51页 |
| ·单选模式业务流程的映射实例 | 第51-54页 |
| ·一个包含异常的业务流程实例的映射 | 第54-57页 |
| 第四章 业务流程CSP模型的验证原理及方法 | 第57-79页 |
| ·业务流程性质的CSP描述方法 | 第58-62页 |
| ·业务流程可达性的CSP表示 | 第58-59页 |
| ·业务流程可完成性的CSP表示 | 第59-61页 |
| ·业务流程合理性的CSP表示 | 第61-62页 |
| ·对业务流程CSP模型性质的分析方法 | 第62-65页 |
| ·分析方法介绍 | 第62-64页 |
| ·分析方法在性质验证中的应用 | 第64-65页 |
| ·业务流程CSP模型性质分析的实例 | 第65-79页 |
| ·借助迹模型分析流程中的死锁 | 第66-68页 |
| ·借助FDR2分析流程中的死锁 | 第68-70页 |
| ·使用结构精炼判断流程的活锁 | 第70-73页 |
| ·使用合成证明规则判断流程的不确定性 | 第73-76页 |
| ·使用FDR2对第三章映射实例进行性质验证 | 第76-79页 |
| 第五章 全文总结与未来工作总结 | 第79-81页 |
| ·研究工作总结 | 第79页 |
| ·下一步研究工作 | 第79-81页 |
| 参考文献 | 第81-83页 |
| 参与项目情况与主要研究成果 | 第83-85页 |
| 致谢 | 第85页 |
