集成体系结构互操作性检验

互操作性是众多组件系统的涌现行为属性，是集成体系结构设计追求的核心价值。为了规避大型系统的集成风险，申请立项研究集成体系结构互操作性检验的理论与方法。通过一体化模型、数据一致性、逻辑正确性和互操作行为的模型检查、逻辑验证和综合模型仿真检测研究，提出集成体系结构互操作性检验的理论、措施和步骤，以保证集成体系结构能够有效地支撑大型集成系统实现期待的互操作水平和整体服务能力。