任务空间概念建模技术及其VV&A研究
| 摘要 | 第1-11页 |
| Abstract | 第11-12页 |
| 第一章 绪论 | 第12-23页 |
| ·任务空间概念建模概述 | 第12-16页 |
| ·任务空间概念建模研究的必要性 | 第12-14页 |
| ·任务空间概念建模的基本概念 | 第14-15页 |
| ·任务空间概念建模的研究内容 | 第15-16页 |
| ·国内外发展和研究现状 | 第16-22页 |
| ·国外研究现状 | 第16-21页 |
| ·国内研究现状 | 第21-22页 |
| ·结论 | 第22页 |
| ·论文的内容组织 | 第22-23页 |
| 第二章 任务空间概念建模方法 | 第23-52页 |
| ·任务空间概念模型元模型和建模语言 | 第23-46页 |
| ·任务空间概念模型的元模型研究 | 第23-37页 |
| ·MSCML的提出 | 第37-42页 |
| ·元模型和建模语言的完备性分析 | 第42-46页 |
| ·任务空间概念建模过程 | 第46-50页 |
| ·仿真开发生命周期 | 第46-47页 |
| ·任务空间概念建模过程 | 第47-50页 |
| ·任务空间概念模型文档规范 | 第50-52页 |
| 第三章 任务空间概念模型 VV&A技术 | 第52-79页 |
| ·概述 | 第52-57页 |
| ·VV&A的定义和意义 | 第52-54页 |
| ·概念模型VV&A的关键角色和职责 | 第54-55页 |
| ·概念模型VV&A的原则 | 第55-57页 |
| ·任务空间概念模型VV&A过程 | 第57-61页 |
| ·校核过程 | 第57-58页 |
| ·验证过程 | 第58-59页 |
| ·确认过程 | 第59-61页 |
| ·领域专家与VV&A | 第61-62页 |
| ·VV&A方法 | 第62-76页 |
| ·任务空间概念模型形式化 | 第63-64页 |
| ·校核方法 | 第64-66页 |
| ·规范概念模型 | 第66-67页 |
| ·执行验证 | 第67-69页 |
| ·专家法 | 第69-72页 |
| ·基于可拓学的模型确认度评估方法 | 第72-75页 |
| ·VV&A方法小结 | 第75-76页 |
| ·任务空间概念模型质量评估指标 | 第76-79页 |
| ·指标集的提出 | 第76-78页 |
| ·指标集的分析 | 第78-79页 |
| 第四章 任务空间概念建模支持工具研究 | 第79-85页 |
| ·BS2002总体介绍 | 第79-81页 |
| ·BS2002的设计目标 | 第79-80页 |
| ·系统的运行环境 | 第80页 |
| ·系统的体系结构 | 第80-81页 |
| ·BS2002的设计与实现 | 第81-85页 |
| ·界面设计 | 第81-83页 |
| ·实现情况 | 第83-84页 |
| ·应用情况 | 第84-85页 |
| 第五章 案例研究 | 第85-106页 |
| ·建模框架实例 | 第85-95页 |
| ·建模背景概述 | 第85页 |
| ·静态视图 | 第85-87页 |
| ·动态视图 | 第87-95页 |
| ·模型元素描述实例 | 第95-100页 |
| ·行动 | 第96-98页 |
| ·实体 | 第98-100页 |
| ·模型规范化检查实例 | 第100-101页 |
| ·概念执行实例 | 第101-104页 |
| ·基于可拓学的确认方法案例 | 第104-106页 |
| 第六章 结论 | 第106-108页 |
| ·主要的贡献和创新点 | 第106-107页 |
| ·进一步的工作 | 第107-108页 |
| 致谢 | 第108-109页 |
| 参考文献 | 第109-114页 |
| 附录A 作者在博士学习阶段发表的论文 | 第114-115页 |
| 附录B 元模型XML Schema描述 | 第115-133页 |
| 附录C MSCML 0.1版说明 | 第133-134页 |
