| 作者简介 | 第1-4页 |
| 摘要 | 第4-6页 |
| ABSTRACT | 第6-8页 |
| 目录 | 第8-11页 |
| 第一章 绪论 | 第11-23页 |
| ·研究背景 | 第11-12页 |
| ·SOA 与 Web 服务 | 第12-14页 |
| ·面向服务的体系结构 SOA | 第12-13页 |
| ·Web 服务技术 | 第13-14页 |
| ·业务流程建模与验证 | 第14-18页 |
| ·业务流程模型 | 第14-15页 |
| ·业务流程建模技术 | 第15-16页 |
| ·业务流程模型验证方法 | 第16-18页 |
| ·存在的问题 | 第18-20页 |
| ·层次化业务流程建模的问题 | 第18-19页 |
| ·形式化流程模型验证的问题 | 第19-20页 |
| ·本文研究内容与组织结构 | 第20-23页 |
| 第二章 模型驱动的 BPEL 流程建模 | 第23-35页 |
| ·引言 | 第23页 |
| ·业务流程执行语言 BPEL | 第23-26页 |
| ·流程交互定义 | 第24页 |
| ·变量定义 | 第24页 |
| ·活动定义 | 第24-25页 |
| ·BPEL 抽象流程 | 第25-26页 |
| ·UML 业务流程模型生成 BPEL 流程 | 第26-28页 |
| ·模型转换技术和统一建模语言 UML | 第26-27页 |
| ·UML 业务流程模型及其到 BPEL 流程的映射规则 | 第27-28页 |
| ·基于 SESE 分解的控制流模型转换 | 第28-32页 |
| ·用 UML 活动图建模控制流 | 第28-29页 |
| ·SESE 分解与 SESE 区域 | 第29-30页 |
| ·基于 SESE 分解的转换 | 第30-32页 |
| ·原型系统实现 | 第32-34页 |
| ·小结 | 第34-35页 |
| 第三章 UML 活动图生成 BPEL 控制流模型 | 第35-49页 |
| ·引言 | 第35-36页 |
| ·工作流网 | 第36-40页 |
| ·Petri 网 | 第37-39页 |
| ·工作流网及其合理性 | 第39-40页 |
| ·UML 活动图的形式化模型 | 第40-44页 |
| ·UML 活动图的定义 | 第40-41页 |
| ·自由选择工作流网 | 第41-43页 |
| ·活动图到自由选择工作流网的映射 | 第43-44页 |
| ·可分离工作流网及其到 BPEL 控制流的映射 | 第44-47页 |
| ·BPEL 控制流结构特征分析 | 第44-45页 |
| ·可分离工作流网 | 第45-47页 |
| ·可分离工作流网到 BPEL 控制流的映射 | 第47页 |
| ·小结 | 第47-49页 |
| 第四章 基于化简规则的工作流网验证方法 | 第49-63页 |
| ·引言 | 第49-50页 |
| ·自由选择工作流网的化简规则集 | 第50-55页 |
| ·WFFC 网的化简规则集 | 第51-53页 |
| ·SFCW 网的化简规则集 | 第53-55页 |
| ·SFCW 网化简规则集的可靠性与完备性 | 第55-60页 |
| ·化简规则集的可靠性 | 第55-58页 |
| ·化简规则集的完备性 | 第58-60页 |
| ·与已有流程化简规则集的比较 | 第60-61页 |
| ·应用举例 | 第61-62页 |
| ·小结 | 第62-63页 |
| 第五章 基于合成规则的工作流网建模方法 | 第63-73页 |
| ·引言 | 第63页 |
| ·自由选择工作流网的合成规则集 | 第63-67页 |
| ·合成规则定义 | 第64页 |
| ·合成规则集的可靠性与完备性 | 第64-66页 |
| ·应用分析与举例 | 第66-67页 |
| ·可分离工作流网的合成规则集 | 第67-70页 |
| ·合成规则定义 | 第67-69页 |
| ·应用分析与举例 | 第69-70页 |
| ·与节点精化的比较 | 第70-71页 |
| ·小结 | 第71-73页 |
| 第六章 自由选择到可分离工作流网的转换 | 第73-91页 |
| ·引言 | 第73-74页 |
| ·迹相等的转换方法 | 第74-81页 |
| ·控制流模型中的交叠模式 | 第74-76页 |
| ·转换方法定义 | 第76-78页 |
| ·转换的等价性证明 | 第78-80页 |
| ·应用举例 | 第80-81页 |
| ·完全并发等价的转换方法 | 第81-88页 |
| ·完全并发等价及网展开相关概念 | 第81-83页 |
| ·两个安全网完全并发等价的充分条件 | 第83-85页 |
| ·基于网展开的转换方法 | 第85-88页 |
| ·应用举例 | 第88页 |
| ·小结 | 第88-91页 |
| 第七章 总结与展望 | 第91-95页 |
| ·本文工作总结 | 第91-92页 |
| ·下一步工作展望 | 第92-95页 |
| 致谢 | 第95-97页 |
| 参考文献 | 第97-105页 |
| 攻读博士学位期间的研究成果 | 第105-106页 |