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

摘要：

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

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

所属期刊栏目：27

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金61272107,61262001;国家高技术研究发展计划8632009AA012201;国家教育部网络时代的科技论文快速共享专项20110740001;江西省青年科学家培养对象计划20142BCB23017;江西省自然科学基金20114BAB201043;江西省科技支撑计划20112BBE50048;江西省发明专利产业化技术示范项目20143BBM26115;National Natural Science Foundation of China61272107,61262001;National High Technology Research and Development Program of China 8632009AA012201;Special Plan of the Rapid Sharing of Technology Papers in the Network Era of Higher Education of China20110740001;Program of Training Young Scientists of Jiangxi Province20142BCB23017;Natural Science Foundation of Jiangxi Province of China20114BAB201043;Science & Technology Support Program of Jiangxi Province of China20112BBE50048;Invention Patent Industrialization Technology Demonstration Project of Jiangxi Province of China20143BBM26115

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

页数：共17页

页码：1772-1788