军事信息系统的趋势：军事信息系统之间不能互通，更不能互操作，通过美国国防部举例，从拆除“烟囱”工作，信息系统大合并，目标在2030年才能实现互联、互通及互操作的全军性综合信息网络系统。让我想到曾经接触到的一个客户，为了满足工作的需要，从6个系统获取信息。
顶层设计作用：建立统一业务架构、信息架构、系统架构和技术架构，推动军事信息系统一体化建设和发展
顶层设计的主要内容：业务架构，不仅包括军事信息系统的作战应用模式、功能和流程，还包括所担负的作战概念、样式、活动、任务和相关指挥体制，对应用途径和应用效果等外部表现进行规划和设计。
技术体系组成：需求开发（提供需求分析、描述的相关方法和工具）、体系结构设计（体系结构描述、设计的相关方法和工具）、信息资源规划（信息资源分析、建模和相关方法和工具）、技术体制论证（技术体制描述和论证）及顶层设计验证（需求、体系结构的验证评估方法和工具）等技术
需求开发的过程由需求获取、需求描述、需求分析和需求验证。其中需求描述技术，需求工程的主要结果就是文档化的描述，也就是需求规格；需求分析技术，所有需求被确定下来后，要对它们进行反复的论证和分析，最终确认的需求必须具有充要性，既是必须需要的，又是充分需要的；需求验证技术，需要结合系统需求建模方法和动态可执行模型，利用建模仿真技术，对需求指标的可行性、合理性因素进行分析验证。
我比较关心体系结构验证评估技术这部分内容。体系结构验证评估技术用于评价体系结构的设计成果是否符合需求及设计的优劣程度如何，确定体系结构描述是否符合功能需求和非功能需求。其重点和难点在于评价体系结构不同层次的质量属性的验证和评估，如逻辑合理性、数据完备性和一致性的静态属性，效能的动态属性。静态验证就是语法和语义层的验证，动态属性验证就是语用层的验证。
语法层验证主要采用基于体系结构元模型的方法。首先建立数据完备性和一致性验证原则；其次提取相关数据；最后依据相关约束和原则，构建关系矩阵，完成验证。
语义层验证方法采用可执行模型验证方法，有一种熟悉的思路就是利用UML的类图、活动图等构建可执行模型。
语用层验证方法，对顶层设计成果的整体性能和效能进行分析。有研究提出基于仿真建模的验证方法，基本原理是通过体系结构作战图产品和系统视图产品映射到仿真模型，构建系统原型，在典型应用场景的驱动下，对系统的功能性能进行综合验证评估。
启示:
1、软件设计时考虑如何融入企业其它系统（比如OA、ERP、PDM),提供接口；如果可以的话，从顶层设计思路考虑，将IDS作为企业主要的研发工作门户；向用户宣贯系统合并的益处。
2、仿真模型还有待研究。
