软件体系结构动态演化的条件超图文法及分析

• 作者: 徐洪珍 曾国荪 陈波
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 软件演化 体系结构 约束超图 条件超图文法 一致性
• 年，卷（期）: 2011,（6）
• 所属期刊栏目: 形式化方法与工具专刊
• 页码范围: 1210-1223
• 分类号: TP311
• 字数: 9656字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2011.04017

摘要

针对目前.软件体系结构动态演化描述方法的不足,提出用约束超图表示软件体系结构,用左右应用条件刻画软件体系结构动态演化的前断言和后断言,用条件超图文法建模软件体系结构动态演化过程.通过案例分析,讨论了如何构建条件超图文法并应用于软件体系结构动态演化.在此基础上,建立软件体系结构动态演化的一致性条件定义,给出动态演化的一致性判定方法.最后,设计实验进行分析,验证了方法的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曾国荪	同济大学计算机科学与技术系	102	1102	17.0	29.0
5	徐洪珍	同济大学计算机科学与技术系	32	186	6.0	12.0
8	陈波	同济大学计算机科学与技术系	40	870	11.0	29.0