%0 Journal Article
%T 软件体系结构的属性图文法描述及其约束验证
%A 石兵
%A 冉平
%A 马晓星
%A 陶先平
%A 吕建
%J 计算机应用研究
%D 2007
%I 
%X 在前人工作的基础上,使用了一种利于约束检查和属性刻画的属性图文法,该方法形式地描述了体系结构及其演化;接着给出了一个算法检查演化动作是否会破坏体系结构约束.在对属性图文法系统AGG的图形解析器进行定制和改进的基础上,设计并实现了体系结构自动检查器.该检查器已应用于面向体系结构的服务集成开发平台Artemis-ARC系统中.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=EF4AD2E7BFCF0B300A1D565CCED68C12&yid=A732AF04DDA03BB3&vid=B91E8C6D6FE990DB&iid=38B194292C032A66&sid=D5C9DC4EF2F78008&eid=BBF7D98F9BEDEC74&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=3&reference_num=22