基于超图文法的软件体系结构动态演化

• 作者: 徐洪珍 曾国荪
• 来源期刊: 同济大学学报（自然科学版）
• 学科: 工学
• 关键词: 软件演化 体系结构 形式化建模 模型检测
• 年，卷（期）: 2011,（5）
• 所属期刊栏目: 计算机与信息工程
• 页码范围: 745-750
• 分类号: TP311
• 字数: 4371字
• 语种: 中文
• DOI: 10.3969/j.issn.0253-374x.2011.05.021

摘要

提出用带约束的超图表示软件体系结构,给出基于超图态射的软件体系结构动态演化通用产生式规则的形式化语义和操作,定义类型超图作为体系结构风格,运用超图文法和体系结构风格建模软件体系结构动态演化.为了验证软件体系结构动态演化的正确性,采用模型检测技术,设计算法对软件体系结构动态演化性质进行形式化验证,并应用模型检测工具进行实验分析.该方法既提供了图形化的直观表示,又展示了基于文法的形式化理论框架.

作者信息

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