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

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