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

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