一种演化超图文法到状态转移系统的映射方法

来源：软件学报杂志2016年第7期北京时间：

作者：徐洪珍,曾国荪,王晓燕

单位：徐洪珍，东华理工大学 计算机科学与技术系, 江西 南昌 330013;同济大学 计算机科学与技术系, 上海 20180411,曾国荪，同济大学 计算机科学与技术系, 上海 20180402,王晓燕，东华理工大学 计算机科学与技术系, 江西 南昌 33001303

摘要：运用模型检测技术验证动态演化的正确性,是近年来软件体系结构动态演化研究领域面临的一个挑战.然而,当前的方法很少考虑软件体系结构动态演化时的相关条件.针对该问题,提出用条件状态转移系统表示软件体系结构动态演化的状态模型,将软件体系结构超图映射为状态,演化规则运用映射为条件状态转移关系,给出软件体系结构动态演化的条件超图文法到条件状态转移系统的映射方法以及相应的实现算法,实现了软件体系结构动态演化的条件状态转移系统的构建,并证明了在该映射方法下,软件体系结构动态演化条件超图文法与条件状态转移系统的互模拟等价.最后通过案例分析,运用该方法以及模型检测技术,验证了软件体系结构动态演化的相关性质,从而验证了该方法的有效性.

关键词：软件演化;体系结构;模型检测;条件超图文法;条件状态转移

基金资助：国家自然科学基金(61272107,61262001);国家高技术研究发展计划(863)(2009AA012201);国家教育部网络时代的科技论文快速共享专项(20110740001);江西省青年科学家培养对象计划(20142BCB23017);江西省自然科学基金(20114BAB201043);江西省科技支撑计划(20112BBE50048);江西省发明专利产业化技术示范项目(20143BBM26115)