| 摘要 | 第1-11页 |
| ABSTRACT | 第11-12页 |
| 第一章 绪论 | 第12-23页 |
| ·研究背景 | 第12-13页 |
| ·C~4ISR系统需求工程的背景分析 | 第12-13页 |
| ·基于可执行模型的C~4ISR系统需求验证的提出 | 第13页 |
| ·国内外研究现状 | 第13-21页 |
| ·需求描述的方法 | 第13-16页 |
| ·需求验证的方法 | 第16-20页 |
| ·可执行模型的建立方法 | 第20-21页 |
| ·论文的主要工作和结构 | 第21-23页 |
| 第二章 基于可执行模型C~4ISR系统需求验证过程研究 | 第23-30页 |
| ·C~4ISR系统需求的概念和层次结构 | 第23-25页 |
| ·C~4ISR系统需求验证的概念和内容 | 第25-26页 |
| ·基于可执行模型的C~4ISR系统需求验证过程 | 第26-29页 |
| ·本章小结 | 第29-30页 |
| 第三章 基于xUML的C~4ISR系统需求开发方法研究 | 第30-50页 |
| ·C~4ISR系统需求的特点分析 | 第30-31页 |
| ·MDA与xUML的相关概念 | 第31-34页 |
| ·MDA概述 | 第31-32页 |
| ·xUML概述 | 第32-34页 |
| ·基于xUML的C~4ISR系统需求开发规范化过程 | 第34-37页 |
| ·基于xUML的C~4ISR需求描述方法 | 第37-46页 |
| ·基于用例的作战概念需求描述(OCR) | 第37-38页 |
| ·基于类图的指挥关系需求描述(CRR) | 第38-40页 |
| ·基于活动图的作战活动需求描述(OAR) | 第40-41页 |
| ·基于包图的系统领域需求描述(SDR) | 第41-42页 |
| ·基于对象图的作战单元需求描述(OUR) | 第42-44页 |
| ·基于时序图的协同关系需求描述(ARR) | 第44-45页 |
| ·基于状态图的系统状态需求描述(SSR) | 第45-46页 |
| ·C~4ISR系统需求模型之间的关系 | 第46-49页 |
| ·本章小结 | 第49-50页 |
| 第四章 基于xUML可执行模型的C~4ISR系统需求验证方法 | 第50-71页 |
| ·基于可执行模型的C~4ISR系统需求验证框架 | 第50-51页 |
| ·基于xUML的C~4ISR系统需求可执行模型的建立 | 第51-62页 |
| ·基于类/对象图的CRRTOUR模型的改进 | 第52-54页 |
| ·基于包图的SDR模型的改进 | 第54-56页 |
| ·基于活动图的OAR模型的改进 | 第56页 |
| ·基于时序图的ARR模型的改进 | 第56-57页 |
| ·基于状态图的SSR模型的改进 | 第57-62页 |
| ·基本概念 | 第57-59页 |
| ·语义扩充 | 第59-60页 |
| ·形式化定义 | 第60-62页 |
| ·基于xUML可执行模型的C~4ISR系统需求验证方法 | 第62-70页 |
| ·C~4ISR系统需求行为验证 | 第63-68页 |
| ·C~4ISR系统需求行为完整性验证 | 第63-64页 |
| ·C~4ISR系统需求行为正确性验证 | 第64-67页 |
| ·C~4ISR系统需求行为可行性验证 | 第67-68页 |
| ·C~4ISR系统需求性能验证 | 第68-70页 |
| ·本章小结 | 第70-71页 |
| 第五章 案例应用 | 第71-89页 |
| ·案例概述 | 第71-72页 |
| ·系统需求模型 | 第72-84页 |
| ·作战概念模型 | 第72-73页 |
| ·作战节点及指挥关系描述 | 第73-75页 |
| ·作战任务描述 | 第75-76页 |
| ·系统领域划分 | 第76-78页 |
| ·作战单元静态描述 | 第78-81页 |
| ·作战单元动态描述 | 第81-84页 |
| ·系统需求验证 | 第84-88页 |
| ·需求行为完整性验证 | 第84页 |
| ·需求行为正确性验证 | 第84-86页 |
| ·需求行为可行性验证 | 第86-87页 |
| ·需求的性能验证 | 第87-88页 |
| ·本章小结 | 第88-89页 |
| 第六章 结束语 | 第89-91页 |
| ·本文的主要贡献 | 第89-90页 |
| ·今后进一步的工作 | 第90-91页 |
| 致谢 | 第91-92页 |
| 参考文献 | 第92-99页 |
| 作者在学期间取得的学术成果 | 第99页 |
