欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
在前人工作的基础上，使用了一种利于约束检查和属性刻画的属性图文法，该方法形式地描述了体系结构及其演化；接着给出了一个算法检查演化动作是否会破坏体系结构约束。在对属性图文法系统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.
同期刊论文项目
同项目期刊论文
期刊信息
位置：