封面
声明
中文摘要
英文摘要
目录
第一章 绪论
1.1 研究背景
1.2 SOA 与 Web 服务
1.3 业务流程建模与验证
1.4 存在的问题
1.5 本文研究内容与组织结构
第二章 模型驱动的 BPEL 流程建模
2.1 引言
2.2 业务流程执行语言 BPEL
2.3 UML 业务流程模型生成 BPEL 流程
2.4 基于 SESE 分解的控制流模型转换
2.5 原型系统实现
2.6 小结
第三章 UML 活动图生成 BPEL 控制流模型
3.1 引言
3.2 工作流网
3.3 UML 活动图的形式化模型
3.4 可分离工作流网及其到 BPEL 控制流的映射
3.5 小结
第四章 基于化简规则的工作流网验证方法
4.1 引言
4.2 自由选择工作流网的化简规则集
4.3 SFCW 网化简规则集的可靠性与完备性
4.4 与已有流程化简规则集的比较
4.5 应用举例
4.6 小结
第五章 基于合成规则的工作流网建模方法
5.1 引言
5.2 自由选择工作流网的合成规则集
5.3 可分离工作流网的合成规则集
5.4 与节点精化的比较
5.5 小结
第六章 自由选择到可分离工作流网的转换
6.1 引言
6.2 迹相等的转换方法
6.3 完全并发等价的转换方法
6.4 小结
第七章 总结与展望
7.1 本文工作总结
7.2 下一步工作展望
致谢
参考文献
攻读博士学位期间的研究成果