| 摘要 | 第1-5页 |
| ABSTRACT | 第5-8页 |
| 第一章 绪论 | 第8-11页 |
| §1-1 研究背景和意义 | 第8页 |
| §1-2 国内外研究现状 | 第8-9页 |
| §1-3 论文研究内容及组织结构 | 第9-11页 |
| 1-3-1 论文研究内容与主要工作 | 第9-10页 |
| 1-3-2 论文的组织结构 | 第10-11页 |
| 第二章 相关理论与技术 | 第11-21页 |
| §2-1 ARIZ 算法流程 | 第11-13页 |
| 2-1-1 TRIZ 发明创新理论 | 第11-12页 |
| 2-1-2 ARIZ 发明问题解决算法 | 第12-13页 |
| §2-2 模型驱动架构及统一建模语言 | 第13-14页 |
| 2-2-1 MDA 模型驱动架构 | 第13-14页 |
| 2-2-2 UML 统一建模语言及 UML 活动图 | 第14页 |
| §2-3 面向服务计算 | 第14-19页 |
| 2-3-1 SOA 面向服务体系结构及相关技术 | 第14-18页 |
| 2-3-2 服务组合及可执行业务流程语言 WS-BPEL | 第18-19页 |
| §2-4 PETRI 网及工作流网 | 第19-21页 |
| 2-4-1 PETRI 网 | 第19-20页 |
| 2-4-2 WF-NET 工作流网 | 第20-21页 |
| 第三章 模型自动转化技术的研究与方法设计 | 第21-46页 |
| §3-1 UML 活动图信息提取 | 第21-30页 |
| 3-1-1 MDL 文件格式及文法分析 | 第21-23页 |
| 3-1-2 MDL 文件信息提取方法分析 | 第23-24页 |
| 3-1-3 MDL 文件信息提取的实现 | 第24-26页 |
| 3-1-4 MDL 文件活动图部分信息提取的实现 | 第26-30页 |
| §3-2 活动图到工作流网模型的转化 | 第30-37页 |
| 3-2-1 PETRI 网标记语言 PNML | 第31-33页 |
| 3-2-2 活动图到工作流网的转换规则 | 第33-35页 |
| 3-2-3 活动图到工作流网转换的实现 | 第35-37页 |
| §3-3 工作流网到 BPEL 的转化 | 第37-46页 |
| 3-3-1 WS-BPEL 中的结构化元素分析 | 第37页 |
| 3-3-2 工作流程网的组成构件 | 第37-38页 |
| 3-3-3 工作流程到 BPEL 的映射方法 | 第38-46页 |
| 第四章 模型自动转化技术在 ARIZ 流程服务化中的应用 | 第46-58页 |
| §4-1 ARIZ 流程服务化研究 | 第46-48页 |
| 4-1-1 ARIZ 流程服务化概述 | 第46页 |
| 4-1-2 ARIZ 流程服务化的优势 | 第46-47页 |
| 4-1-3 ARIZ 流程服务化思想及架构 | 第47-48页 |
| §4-2 使用 UML 活动图为 ARIZ 流程建模 | 第48-49页 |
| 4-2-1 ARIZ 流程分析 | 第48页 |
| 4-2-2 建立 UML 活动图模型 | 第48-49页 |
| §4-3 模型自动转化系统的构建 | 第49-51页 |
| 4-3-1 系统开发环境 | 第49-50页 |
| 4-3-2 系统架构及模块设计 | 第50页 |
| 4-3-3 自动转化系统界面展示 | 第50-51页 |
| §4-4 用模型转化系统实现 ARIZ 流程服务化 | 第51-58页 |
| 4-4-1 ARIZ 流程模型自动转化可行性分析 | 第51-53页 |
| 4-4-2 ARIZ 流程的活动图与工作流网等价性分析 | 第53-54页 |
| 4-4-3 ARIZ 流程活动图模型到 BPEL 的转化 | 第54-55页 |
| 4-4-4 ARIZ 流程服务化系统运行效果展示 | 第55-58页 |
| 第五章 结论和展望 | 第58-59页 |
| §5-1 论文结论 | 第58页 |
| §5-2 展望 | 第58-59页 |
| 参考文献 | 第59-61页 |
| 致谢 | 第61页 |
