###
Journal of Software:2011.22(6):1210-1223

软件体系结构动态演化的条件超图文法及分析
徐洪珍,曾国荪,陈波
(同济大学 计算机科学与技术系,上海 201804;东华理工大学 计算机科学与技术系,江西 抚州 344000;嵌入式系统与服务计算教育部重点实验室,上海 201804;同济大学 计算机科学与技术系,上海 201804;嵌入式系统与服务计算教育部重点实验室,上海 201804)
Conditional Hypergraph Grammars and Its Analysis of Dynamic Evolution of Software Architectures
XU Hong-Zhen,ZENG Guo-Sun,CHEN Bo
(Department of Computer Science and Technology, Tongji University, Shanghai 201804, China; Department of Computer Science and Technology, East China Institute of Technology, Fuzhou 344000, China; Key Laboratory of Embedded System and Service Computing, Min;Department of Computer Science and Technology, Tongji University, Shanghai 201804, China; Key Laboratory of Embedded System and Service Computing, Ministry of Education, Shanghai 201804, China)
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 7031   Download 4686
Received:July 09, 2010    Revised:March 29, 2011
> 中文摘要: 针对目前.软件体系结构动态演化描述方法的不足,提出用约束超图表示软件体系结构,用左右应用条件刻画软件体系结构动态演化的前断言和后断言,用条件超图文法建模软件体系结构动态演化过程.通过案例分析,讨论了如何构建条件超图文法并应用于软件体系结构动态演化.在此基础上,建立软件体系结构动态演化的一致性条件定义,给出动态演化的一致性判定方法.最后,设计实验进行分析,验证了方法的有效性.
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.
文章编号:     中图分类号:    文献标志码:
基金项目:国家自然科学基金(90718015); 国家高技术研究发展计划(863)(2009AA012201); 国家重点基础研究发展计划(973)(2007CB316502); 国家教育部博士点基金(20090072110035); 上海市优秀学科带头人计划(10XD1404400); NSFC-微软亚洲研究院联合资助项目(60970155); 高效能服务器和存储技术国家重点实验室开放基金(2009HSSA06) 国家自然科学基金(90718015); 国家高技术研究发展计划(863)(2009AA012201); 国家重点基础研究发展计划(973)(2007CB316502); 国家教育部博士点基金(20090072110035); 上海市优秀学科带头人计划(10XD1404400); NSFC-微软亚洲研究院联合资助项目(60970155); 高效能服务器和存储技术国家重点实验室开放基金(2009HSSA06)
Foundation items:
Reference text:

徐洪珍,曾国荪,陈波.软件体系结构动态演化的条件超图文法及分析.软件学报,2011,22(6):1210-1223

XU Hong-Zhen,ZENG Guo-Sun,CHEN Bo.Conditional Hypergraph Grammars and Its Analysis of Dynamic Evolution of Software Architectures.Journal of Software,2011,22(6):1210-1223