软件体系结构的属性图文法描述及其约束验证-计算机应用研究.PDFVIP

第 24 卷第 3 期 计 算 机 应 用 研 究 Vol. 24, No. 3 2007 年 3 月 Application Research of Computers March 2007 软件体系结构的属性图文法描述及其约束验证 * 石 兵, 冉 平, 马晓星, 陶先平, 吕 建 ( 南京大学 计算机软件研究所 计算机软件新技术国家重点实验室, 江苏 南京 210093) 摘 要: 在前人工作的基础上 , 使用了一种利于约束检查和属性刻画的属性图文法 , 该方法形式地描述了体系 结构及其演化 ; 接着给出了一个算法检查演化动作是否会破坏体系结构约束。在对属性图文法系统 AGG 的图 形解析器进行定制和改进的基础上 , 设计并实现了体系结构自动检查器。该检查器已应用于面向体系结构的服 务集成开发平台 Arte