一种开放环境下软件在线演化一致性验证方法
Towards an Approach of Consistency Verification for Online Software Evolution in Open Environments作者机构：南京航空航天大学计算机科学与技术学院江苏南京210016 计算机软件新技术国家重点实验室(南京大学)江苏南京210093 中山大学信息科学与技术学院广东广州510006
出 版 物：《软件学报》 (Journal of Software)
年 卷 期：2015年第26卷第4期
页 面：747-759页
核心收录：
学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
基 金：国家自然科学基金(61202002 61272083 61379157) 江苏省软件新技术与产业化协同创新中心计划
摘 要：一致性保障技术是开放环境下软件在线演化研究的热点问题.区别于传统的基于图文法或基于体系结构描述语言(architectural description language,简称ADL)对结构演化进行分析的途径,提出一种从行为角度采用层次式时间自动机对软件在线演化进行分析的方法,可支持对软件的时间属性、层次特征等直接建模.提出了层次平展化算法,将层次模型等价地转化为若干并行时间自动机模型,从而可应用现有模型检测工具针对演化规约进行一致性验证,并通过实验验证了所提方法的有效性.
维普期刊数据库
同方期刊数据库