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

作者：石兵; 冉平; 马晓星; 陶先平; 吕建

来源：计算机应用研究, 2007, (03): 163-168.

• 软件体系结构
• 动态演化
• 属性图文法
• 验证 software architecture
• dynamic evolution
• attributed graph grammar
• verification

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

• 单位
  计算机软件新技术国家重点实验室; 南京大学