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

Attributed Graph Grammar-based Description and Constraints Verification of Software Architectures

作　　者：石兵[1] 冉平 马晓星[1] 陶先平[1] 吕建[1] 

机构地区：[1]南京大学计算机软件研究所计算机软件新技术国家重点实验室,江苏南京210093

出　　处：《计算机应用研究》2007年第3期163-168,共6页Application Research of Computers

基　　金：国家"973""863"计划资助项目(2002CB312002;2005AA113160;2004AA112090);国家自然科学基金资助项目(60273034;60233010;60403014)

摘　　要：在前人工作的基础上,使用了一种利于约束检查和属性刻画的属性图文法,该方法形式地描述了体系结构及其演化;接着给出了一个算法检查演化动作是否会破坏体系结构约束。在对属性图文法系统AGG的图形解析器进行定制和改进的基础上,设计并实现了体系结构自动检查器。该检查器已应用于面向体系结构的服务集成开发平台Artemis-ARC系统中。Based on existing researches on graph grammar-based formalisms of software architecture, firstly an Attributed Graph Grammar-based（AGG） approach was proposed to describe software architectures, which emphasized the description and verification of attribute-related constrains. Secondly an algorithm to verify the simulated evolved architecture against the constraints was discussed. Finally an automatic architecture checker was implemented based on TU Berlin＇ s AGG parser with some enhancing customization and adaptation. The checker has been integrated into the Artemis-ARC system.

关 键 词：软件体系结构 动态演化 属性图文法 验证 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]