| 软件体系结构动态演化的条件超图文法及分析 |
| |
| 引用本文： | 徐洪珍,曾国荪,陈波.软件体系结构动态演化的条件超图文法及分析[J].软件学报,2011,22(6):1210-1223. |
| |
| 作者姓名： | 徐洪珍 曾国荪 陈波 |
| |
| 作者单位： | 1. 同济大学计算机科学与技术系,上海201804;东华理工大学计算机科学与技术系,江西抚州344000;嵌入式系统与服务计算教育部重点实验室,上海201804
2. 同济大学计算机科学与技术系,上海201804;嵌入式系统与服务计算教育部重点实验室,上海201804 |
| |
| 基金项目： | 国家自然科学基金，国家高技术研究发展计划(863)，国家重点基础研究发展计划(973)，国家教育部博士点基金，上海市优秀学科带头人计划，NSFC-微软亚洲研究院联合资助项目，高效能服务器和存储技术国家重点实验室开放基金 |
| |
| 摘 要： | 针对目前.软件体系结构动态演化描述方法的不足,提出用约束超图表示软件体系结构,用左右应用条件刻画软件体系结构动态演化的前断言和后断言,用条件超图文法建模软件体系结构动态演化过程.通过案例分析,讨论了如何构建条件超图文法并应用于软件体系结构动态演化.在此基础上,建立软件体系结构动态演化的一致性条件定义,给出动态演化的一致性判定方法.最后,设计实验进行分析,验证了方法的有效性.
|
| 关 键 词： | 软件演化 体系结构 约束超图 条件超图文法 一致性 |
| 收稿时间： | 7/9/2010 12:00:00 AM |
| 修稿时间： | 2011/3/29 0:00:00 |
Conditional Hypergraph Grammars and Its Analysis of Dynamic Evolution of Software Architectures |
| |
| XU Hong-Zhen,ZENG Guo-Sun and CHEN Bo.Conditional Hypergraph Grammars and Its Analysis of Dynamic Evolution of Software Architectures[J].Journal of Software,2011,22(6):1210-1223. |
| |
| Authors: | XU Hong-Zhen ZENG Guo-Sun and CHEN Bo |
| |
| Affiliation: | XU Hong-Zhen1,2,3,ZENG Guo-Sun1,CHEN Bo1,3 1(Department of Computer Science and Technology,Tongji University,Shanghai 201804,China) 2(Department of Computer Science and Technology,East China Institute of Technology,Fuzhou 344000,China) 3(Key Laboratory of Embedded System and Service Computing,Ministry of Education,China) |
| |
| Abstract: | This paper proposes to represent software architectures with constraint hypergraphs,depict pre-and post-assertions of dynamic evolution of software architectures with left and right application conditions,and model the dynamic evolution process of software architectures with conditional hypergraph grammars.Firstly,how to construct conditional hypergraph grammars and how to apply to dynamic evolution of software architectures through a case study are discussed.Secondly,the consistency condition definition an... |
| |
| Keywords: | software evolution architecture constraint hypergraph conditional hypergraph grammar consistency |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
