Conditional hypergraph grammars and its analysis of dynamic evolution of software architectures

被引：3
|
作者：
Xu H.-Z. [1 ,2 ,3 ]
Zeng G.-S. [1 ,3 ]
Chen B. [1 ,3 ]
机构：
[1] Department of Computer Science and Technology, Tongji University
[2] Department of Computer Science and Technology, East China Institute of Technology
[3] Key Laboratory of Embedded System and Service Computing, Ministry of Education
来源：
Ruan Jian Xue Bao/Journal of Software | 2011年 / 22卷 / 06期
关键词：
Architecture; Conditional hypergraph grammar; Consistency; Constraint hypergraph; Software evolution;
D O I：
10.3724/SP.J.1001.2011.04017
中图分类号：
学科分类号：
摘要：
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. ©2011 ISCAS.
引用
收藏
页码：1210 / 1223
页数：13
相关论文
共 24 条
  • [1] Lehman M.M., Ramil J.F., Wernick P.D., Perry D.E., Turski W.M., Metrics and laws of software evolution-the nineties views, Proc. of the 4th Int'l Software Metrics Symp, pp. 20-32, (1997)
  • [2] Godfrey M.W., German D.M., The past, present, and future of software evolution, Proc. of the 24th IEEE Int'l Conf. on Software Maintenance, pp. 129-138, (2008)
  • [3] Buckley J., Mens T., Zenger M., Rashid A., Kniesel G., Towards a taxonomy of software change, Journal of Software Maintenance and Evolution: Research and Practice, 17, 5, pp. 309-332, (2005)
  • [4] Mei H., Shen J.R., Progress of research on software architecture, Journal of Software, 17, 6, pp. 1257-1275, (2006)
  • [5] Halima R.B., Jmaiel M., Drira K., Graphical simulation of the dynamic evolution of the software architectures specified in Z, Proc. of the 8th Int'l Workshop on Principles of Software Evolution, pp. 45-48, (2005)
  • [6] Miladi M.N., Jmaiel M., Kacem M.H., A UML profile and a FUJABA plugin for modelling dynamic software architectures, Proc. of the Workshop on Model-Driven Software Evolution, pp. 20-26, (2007)
  • [7] Kacem M.H., Kacem A.H., Jmaiel M., Drira K., Describing dynamic software architectures using an extended UML model, Proc. of the Symp. on Applied Computing, pp. 1245-1249, (2006)
  • [8] Oquendo F., π-ADL: An architecture description language based on the higher-order typed-calculus for specifying dynamic and mobile software architectures, ACM Sigsoft Software Engineering Notes, 29, 4, pp. 1-14, (2004)
  • [9] Abi-Antoun M., Aldrich J., Garlan D., Schmerl B., Nahas N., Tseng T., Modeling and implementing software architecture with acme and archJava, Proc. of the 27th Int'l Conf. on Software Engineering, pp. 676-677, (2005)
  • [10] Mei H., Chen F., Wang Q.X., Feng Y.D., ABC/ADL: An ADL supporting component composition, pp. 38-47, (2002)
123