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

• 作者: 徐洪珍 曾国荪 王晓燕
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 软件演化 体系结构 模型检测 条件超图文法 条件状态转移
• 年，卷（期）: 2016,（7）
• 所属期刊栏目: 系统软件与软件工程
• 页码范围: 1772-1788
• 页数: 17页
• 分类号: TP311
• 字数: 13250字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.004841

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曾国荪	同济大学计算机科学与技术系	102	1102	17.0	29.0
2	徐洪珍	东华理工大学计算机科学与技术系	32	186	6.0	12.0
4	王晓燕	东华理工大学计算机科学与技术系	14	41	3.0	6.0