基于SOFL的业务流程分析技术研究
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-9页 |
| 1 绪论 | 第9-13页 |
| ·研究背景 | 第9-11页 |
| ·研究内容 | 第11页 |
| ·论文的组织结构 | 第11-13页 |
| 2 相关介绍 | 第13-22页 |
| ·工作流技术研究现状 | 第13-16页 |
| ·工作流的发展现状 | 第13-14页 |
| ·工作流描述规范 | 第14-16页 |
| ·形式化方法描述工作流 | 第16-21页 |
| ·形式化方法 | 第16-17页 |
| ·形式化工程方法和SOFL 概述 | 第17-20页 |
| ·形式化描述工作流 | 第20-21页 |
| ·本章小结 | 第21-22页 |
| 3 基于SOFL 的可验证工作流框架 | 第22-34页 |
| ·可扩展的工作流元模型 | 第22-29页 |
| ·工作流核心集 | 第22-27页 |
| ·工作流核心集的扩展机制 | 第27-29页 |
| ·基于SOFL 的工作流分析框架 | 第29-33页 |
| ·SOFL 规约分析 | 第29-30页 |
| ·SOFL 复审范围 | 第30-32页 |
| ·SOFL 验证的范围 | 第32-33页 |
| ·本章小结 | 第33-34页 |
| 4 基于SOFL 的工作流复审和验证方法 | 第34-47页 |
| ·复审任务树和最小割 | 第35-38页 |
| ·RTT 任务树 | 第35-37页 |
| ·最小割集（Minimal Cut Sets） | 第37-38页 |
| ·基于SOFL 的工作流复审和验证机制 | 第38-46页 |
| ·形式化复审工作流 | 第38-43页 |
| ·形式化验证工作流 | 第43-46页 |
| ·本章小结 | 第46-47页 |
| 5 基于SOFL 的工作流分析编辑器的设计 | 第47-60页 |
| ·引言 | 第47-48页 |
| ·工具设计结构 | 第48-57页 |
| ·工作流分析编辑器的架构 | 第48-49页 |
| ·工作流语法和语义分析 | 第49-54页 |
| ·工作流分析 | 第54-57页 |
| ·基于SOFL 的可转换工作流机制 | 第57-59页 |
| ·SOFL 转换BPEL 的机制 | 第57-59页 |
| ·本章小结 | 第59-60页 |
| 6 工作流分析编辑器的实现 | 第60-75页 |
| ·工具概述 | 第60页 |
| ·工作流设计模块 | 第60-63页 |
| ·工作流设计模块的功能 | 第60-63页 |
| ·工作流规约编辑模块 | 第63-65页 |
| ·工作流分析模块 | 第65-67页 |
| ·工作流分析案例 | 第67-74页 |
| ·本章小结 | 第74-75页 |
| 7 总结与展望 | 第75-77页 |
| 参考文献 | 第77-81页 |
| 致谢 | 第81-82页 |
| 攻读学位期间发表的学术论文 | 第82-83页 |
| 附录1 | 第83-107页 |
