基于生成图的体系结构动态行为语义一致性验证方法

摘要：

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

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

所属期刊栏目：34

分类号：TP302.1(计算技术、计算机技术)

在线出版日期：2014-03-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：471-477