摘要：针对体系结构动态行为的语义一致性验证问题，提出了基于生成图的验证方法．首先根据体系结构的动态行为模型构建生成图，然后对生成图的逻辑结构和时间信息进行分析，来完成动态行为模型的逻辑关系和时序关系一致性验证．该方法不但能够有效解决动态行为的语义一致性验证问题，而且还能准确定位模型中出现问题的地方，指导用户进行模型不一致处理和优化动态模型．同时，生成图可供多个模型间的动态行为一致性验证，实用性更强，且在可理解性、可分析性等方面上相比传统方法具有较大改善．

关键词：体系结构 动态行为 一致性验证 生成图 

单位：空军预警学院研究生管理大队 武汉430019 空军预警学院陆基预警监视装备系 武汉430019 94895部队 漳州363100