%0 Journal Article
%T 一种开放环境下软件在线演化一致性验证方法
%A 周宇？
%A 黄延凯？
%A 黄志球？
%A 吴维刚？
%J 软件学报
%P 747-759
%D 2015
%R 10.13328/j.cnki.jos.004751
%X 一致性保障技术是开放环境下软件在线演化研究的热点问题.区别于传统的基于图文法或基于体系结构描述语言(architecturaldescriptionlanguage,简称adl)对结构演化进行分析的途径,提出一种从行为角度采用层次式时间自动机对软件在线演化进行分析的方法,可支持对软件的时间属性、层次特征等直接建模.提出了层次平展化算法,将层次模型等价地转化为若干并行时间自动机模型,从而可应用现有模型检测工具针对演化规约进行一致性验证,并通过实验验证了所提方法的有效性.
%K 在线演化
%K 时间自动机
%K 一致性
%K 模型检验
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=4751&flag=1