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

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