软件体系结构的属性图文法描述及其约束验证

• 作者: 冉平 吕建 石兵 陶先平 马晓星
• 来源期刊: 计算机应用研究
• 关键词: 软件体系结构 动态演化 属性图文法 验证
• 年，卷（期）: 2007,（3）
• 所属期刊栏目: 信息安全
• 页码范围: 163-168
• 页数: 6页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2007.03.048

摘要

在前人工作的基础上,使用了一种利于约束检查和属性刻画的属性图文法,该方法形式地描述了体系结构及其演化;接着给出了一个算法检查演化动作是否会破坏体系结构约束.在对属性图文法系统AGG的图形解析器进行定制和改进的基础上,设计并实现了体系结构自动检查器.该检查器已应用于面向体系结构的服务集成开发平台Artemis-ARC系统中.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	石兵		1	12	1.0	1.0
2	冉平		1	12	1.0	1.0
3	马晓星		3	33	3.0	3.0
4	陶先平		6	35	4.0	5.0
5	吕建		6	31	3.0	5.0