一种开放环境下软件在线演化一致性验证方法

• 作者: 吴维刚 周宇 黄延凯 黄志球
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 在线演化 时间自动机 一致性 模型检验
• 年，卷（期）: 2015,（4）
• 所属期刊栏目: 自适应软件系统:开发方法与运行支撑专题
• 页码范围: 747-759
• 页数: 13页
• 分类号: TP311
• 字数: 9087字
• 语种: 中文

摘要

一致性保障技术是开放环境下软件在线演化研究的热点问题.区别于传统的基于图文法或基于体系结构描述语言(architectural description language,简称ADL)对结构演化进行分析的途径,提出一种从行为角度采用层次式时间自动机对软件在线演化进行分析的方法,可支持对软件的时间属性、层次特征等直接建模.提出了层次平展化算法,将层次模型等价地转化为若干并行时间自动机模型,从而可应用现有模型检测工具针对演化规约进行一致性验证,并通过实验验证了所提方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄志球	南京航空航天大学计算机科学与技术学院	183	1755	20.0	33.0
2	黄延凯	南京航空航天大学计算机科学与技术学院	4	9	2.0	3.0
3	吴维刚	中山大学信息科学与技术学院	9	58	4.0	7.0