Attributed Graph Grammar-based Description and Constraints Verification of Software Architectures
Jian Wei Lv · Jisuanji yingyong yanjiu · 2007
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.