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

项目名称： 集成体系结构互操作性检验

项目编号： No.60874068

项目类型： 面上项目

立项/批准年度： 2009

项目学科： 金属学与金属工艺

项目作者： 王明哲

作者单位： 华中科技大学

项目金额： 28万元

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

中文关键词： 集成系统；体系结构；互操作性；检验方法；涌现行为

英文摘要：

英文关键词：