| 摘要 | 第1-7页 |
| Abstract | 第7-12页 |
| 第1章 绪论 | 第12-24页 |
| ·引言 | 第12-13页 |
| ·国内外研究现状 | 第13-18页 |
| ·领域工程 | 第13-14页 |
| ·需求建模与分析方法 | 第14-18页 |
| ·流程类业务领域分析 | 第18-21页 |
| ·本文研究的主要内容及意义 | 第21-23页 |
| ·论文组织结构 | 第23-24页 |
| 第2章 基于组织本体的需求模型建模方法研究 | 第24-50页 |
| ·本体技术 | 第24-28页 |
| ·本体的定义 | 第24-26页 |
| ·本体的建模元语 | 第26页 |
| ·构造本体的规则 | 第26-27页 |
| ·基于XML的本体描述方法 | 第27-28页 |
| ·组织本体构建及形式化描述 | 第28-29页 |
| ·领域主体建模与分析 | 第29-31页 |
| ·基于主体层级关系的目标分解方法 | 第31-33页 |
| ·领域资源模型构建 | 第33页 |
| ·层级结构的领域操作模型及其相关算法研究 | 第33-45页 |
| ·业务模型 | 第34-36页 |
| ·可形式化的活动有向图生成算法 | 第36-39页 |
| ·用相似原理解决业务模型重用 | 第39-43页 |
| ·事务模型 | 第43-44页 |
| ·信息操作模型 | 第44-45页 |
| ·基于领域本体的应用本体获取算法 | 第45-49页 |
| ·本章小结 | 第49-50页 |
| 第3章 基于BDI模型的目标操作化方法研究 | 第50-62页 |
| ·KAOS方法 | 第50-54页 |
| ·KAOS元模型基本概念 | 第50-51页 |
| ·KAOS语言结构 | 第51-53页 |
| ·KAOS方法在流程类业务领域的应用 | 第53-54页 |
| ·基于时序逻辑的目标树求精方法 | 第54-57页 |
| ·求精语义 | 第54-55页 |
| ·目标精化 | 第55-57页 |
| ·BDI_G主体模型实现目标操作化 | 第57-61页 |
| ·BDI_G主体模型 | 第57-59页 |
| ·目标操作化 | 第59-61页 |
| ·本章小结 | 第61-62页 |
| 第4章 基于模型转换的模型一致性检测方法研究 | 第62-78页 |
| ·模型一致性检测方法研究 | 第62-63页 |
| ·通用模型一致性检测框架 | 第63-64页 |
| ·基于KAOS方法的冲突检测及处理 | 第64-69页 |
| ·面向目标的需求冲突管理 | 第64-65页 |
| ·目标冲突的检测 | 第65-67页 |
| ·目标冲突消解 | 第67-69页 |
| ·一种基于模型转换的需求模型一致性检测方法 | 第69-76页 |
| ·模型转换技术概述 | 第69-70页 |
| ·用多视图方法描述流程类业务领域需求 | 第70-71页 |
| ·XML需求模型文档生成 | 第71-73页 |
| ·XML到数据库映射的实现 | 第73-76页 |
| ·一致性规则的配置 | 第76页 |
| ·与其它方法比较 | 第76页 |
| ·本章小结 | 第76-78页 |
| 第5章 基于本体的需求模型到UML元模型的映射方法研究 | 第78-95页 |
| ·基于本体的UML文档生成算法 | 第78-84页 |
| ·UML需求描述元模型 | 第79-81页 |
| ·UML图元中概念关系的分析 | 第81页 |
| ·转化规则 | 第81-82页 |
| ·UML视图生成 | 第82-84页 |
| ·应用本体的相关定义 | 第84-86页 |
| ·应用主体模型构建 | 第86-87页 |
| ·组织目标模型构建 | 第87-88页 |
| ·应用资源模型构建 | 第88-90页 |
| ·业务表单设置 | 第88-89页 |
| ·应用信息设置 | 第89-90页 |
| ·在业务平台上实现目标操作化 | 第90-92页 |
| ·UML文档生成 | 第92-94页 |
| ·本章小结 | 第94-95页 |
| 结论 | 第95-97页 |
| 参考文献 | 第97-108页 |
| 攻读博士学位期间发表的论文和取得的科研成果 | 第108-109页 |
| 致谢 | 第109页 |