| 摘要: |
| 针对目前.软件体系结构动态演化描述方法的不足,提出用约束超图表示软件体系结构,用左右应用条件刻画软件体系结构动态演化的前断言和后断言,用条件超图文法建模软件体系结构动态演化过程.通过案例分析,讨论了如何构建条件超图文法并应用于软件体系结构动态演化.在此基础上,建立软件体系结构动态演化的一致性条件定义,给出动态演化的一致性判定方法.最后,设计实验进行分析,验证了方法的有效性. |
| 关键词: 软件演化 体系结构 约束超图 条件超图文法 一致性 |
| DOI：10.3724/SP.J.1001.2011.04017 |
| 分类号: |
| 基金项目:国家自然科学基金(90718015); 国家高技术研究发展计划(863)(2009AA012201); 国家重点基础研究发展计划(973)(2007CB316502); 国家教育部博士点基金(20090072110035); 上海市优秀学科带头人计划(10XD1404400); NSFC-微软亚洲研究院联合资助项目(60970155); 高效能服务器和存储技术国家重点实验室开放基金(2009HSSA06) |
|
| Conditional Hypergraph Grammars and Its Analysis of Dynamic Evolution of Software Architectures |
|
XU Hong-Zhen1,2,3, ZENG Guo-Sun1,4, CHEN Bo1,4
|
|
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, Min;4.Key Laboratory of Embedded System and Service Computing, Ministry of Education, Shanghai 201804, 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 and the corresponding consistency decision method of dynamic evolution of software architectures are given out on this basis. Finally, an experiment is desisgned over analysis for dynamic evolution of software architectures to show the effectiveness of the proposed method. |
| Key words: software evolution architecture constraint hypergraph conditional hypergraph grammar consistency |
