| 软件体系结构的属性图文法描述及其约束验证* |
| |
| 引用本文： | 石兵,冉平,马晓星,陶先平,吕建. 软件体系结构的属性图文法描述及其约束验证*[J]. 计算机应用研究, 2007, 24(3): 163-168 |
| |
| 作者姓名： | 石兵 冉平 马晓星 陶先平 吕建 |
| |
| 作者单位： | 南京大学,计算机软件研究所,计算机软件新技术国家重点实验室,江苏,南京,210093 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划) , 国家自然科学基金 |
| |
| 摘 要： | 在前人工作的基础上,使用了一种利于约束检查和属性刻画的属性图文法,该方法形式地描述了体系结构及其演化;接着给出了一个算法检查演化动作是否会破坏体系结构约束.在对属性图文法系统AGG的图形解析器进行定制和改进的基础上,设计并实现了体系结构自动检查器.该检查器已应用于面向体系结构的服务集成开发平台Artemis-ARC系统中.
|
| 文章编号： | 1001-3695(2007)03-0163-06 |
| 修稿时间： | 2005-12-30 |
Attributed Graph Grammar based Description and Constraints Verification of Software Architectures |
| |
| SHI Bing,RAN Ping,MA Xiao xing,TAO Xian ping,LV Jian. Attributed Graph Grammar based Description and Constraints Verification of Software Architectures[J]. Application Research of Computers, 2007, 24(3): 163-168 |
| |
| Authors: | SHI Bing RAN Ping MA Xiao xing TAO Xian ping LV Jian |
| |
| Affiliation: | (State Key Laboratory for Novel Software Technology, Institute of Computer Software, Nanjing University, Nanjing Jiangsu 210093, China) |
| |
| Abstract: | |
| |
| Keywords: | software architecture dynamic evolution attributed graph grammar verification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
|
