微信服务号

微信订阅号

2025-4-24- 13
Home > Archive>Volume 22, Issue 6, 2011 >1210-1223. DOI:10.3724/SP.J.1001.2011.04017
PDF HTML XML Export Cite reminder
Conditional Hypergraph Grammars and Its Analysis of Dynamic Evolution of Software Architectures
Author:
Affiliation:

  • Article
    • | |
  • Metrics
    • |
  • Reference [24]
    • |
  • Related
    • |
  • Cited by [2]
    • | |
  • Comments
    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.

    Reference
    [1] Lehman MM, Ramil JF, Wernick PD, Perry DE, Turski WM. Metrics and laws of software evolution-the nineties views. In: Proc. of the 4th Int’l Software Metrics Symp. Washington: IEEE Press, 1997. 20?32. [doi: 10.1109/METRIC.1997.637156]
    [2] Godfrey MW, German DM. The past, present, and future of software evolution. In: Proc. of the 24th IEEE Int’l Conf. on Software Maintenance. Washington: IEEE Press, 2008. 129?138. [doi: 10.1109/FOSM.2008.4659256]
    [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, 2005,17(5):309?332. [doi: 10.1002/smr.319]
    [4] Mei H, Shen JR. Progress of research on software architecture. Journal of Software, 2006,17(6):1257?1275 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/17/1257.htm [doi: 10.1360/jos171257]
    [5] Halima RB, Jmaiel M, Drira K. Graphical simulation of the dynamic evolution of the software architectures specified in Z. In: Proc. of the 8th Int’l Workshop on Principles of Software Evolution. Washington: IEEE Press, 2005. 45?48. [doi: 10.1109/IWPSE. 2005.20]
    [6] Miladi MN, Jmaiel M, Kacem MH. A UML profile and a FUJABA plugin for modelling dynamic software architectures. In: Proc. of the Workshop on Model-Driven Software Evolution. Washington: IEEE Press, 2007. 20?26. http://citeseerx.ist.psu.edu/viewdoc/ summary?doi=10.1.1.125.5815
    [7] Kacem MH, Kacem AH, Jmaiel M, Drira K. Describing dynamic software architectures using an extended UML model. In: Proc. of the Symp. on Applied Computing. New York: ACM Press, 2006. 1245?1249. [doi: 10.1145/1141277.1141569]
    [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, 2004,29(4):1?14. [doi: 10.1145/1141277.1141569]
    [9] Abi-Antoun M, Aldrich J, Garlan D, Schmerl B, Nahas N, Tseng T. Modeling and implementing software architecture with acme and archJava. In: Proc. of the 27th Int’l Conf. on Software Engineering. New York: ACM Press, 2005. 676?677. [doi: 10.1145/1028664.1028668]
    [10] Mei H, Chen F, Wang QX, Feng YD. ABC/ADL: An ADL supporting component composition. LNCS 2495, 2002. 38?47. [doi: 10.1007/3-540-36103-0_6]
    [11] Li CY, Li GS, He PJ. A formal dynamic architecture description language. Journal of Software, 2006,17(6):1349?1359 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/17/1349.htm [doi: 10.1360/jos171349]
    [12] Métayer DL. Describing software architecture styles using graph grammars. IEEE Trans. on Software Engineering, 1998, 24(7): 521?533. [doi: 10.1109/32.708567]
    [13] Bruni R, Bucchiarone A, Gnesi S, Melgratti H. Modelling dynamic software architectures using typed graph grammars. Electronic Notes in Theoretical Computer Science, 2008,213(1):39?53. [doi: 10.1016/j.entcs.2008.04.073]
    [14] Ma XX, Cao C, Yu P, Zhou Y. A supporting environment based on graph grammar for dynamic software architectures. Journal of Software, 2008,19(8):1881?1892 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/19/1881.htm [doi: 10.3724/ SP.J.1001.2008.01881]
    [15] Dowling J, Cahill V. Dynamic software evolution and the k-component model. In: Proc. of the OOPSLA 2001 Workshop on Software Evolution. Florida: ACM Press, 2001. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.4179
    [16] Huang G, Mei H, Yang FQ. Runtime software architecture based on reflective middleware. Science in China (Series E), 2004,34(2):121?138 (in Chinese with English abstract).
    [17] Ma XX, Yu P, Tao XP, Lü J. A service-oriented dynamic coordination architecture and its supporting system. Chinese Journal of Computers, 2005,28(4):467?477 (in Chinese with English abstract).
    [18] Habel A, Heckel R, Taentzer G. Graph grammars with negative application conditions. Fundamenta Informaticae, 1996,26(3-4):287?313. [doi: 10.3233/FI-1996-263404]
    [19] Tibermacine C, Fleurquin R, Sadou S. Preserving architectural choices throughout the component-based software development process. In: Proc. of the 5th Working IEEE/IFIP Conf. on Software Architecture. Washington: IEEE Press, 2005. 121?130. [doi: 10.1109/WICSA.2005.52]
    [20] Zhang J, Cheng BHC. Using temporal logic to specify adaptive program semantics. Journal of Systems and Software, 2006,79(10): 1361?1369. [doi: 10.1016/j.jss.2006.02.062]
    [21] Xu HZ, Zeng GS. Specification and verification of dynamic evolution of software architectures. Journal of Systems Architecture, 2010,56(10):523?533. [doi: 10.1016/j.sysarc.2010.08.005]
    [22] Ehrig H, Heckel R, Korff M, L?we M, Ribeiro L, Wagner A, Corradini A. Algebraic Approaches to Graph Transformation, Part II: Single Pushout Approach and Comparison with Double Pushout Approach. Handbook of Graph Grammars and Computing by Graph Transformation: Vol.I. Foundations: World Scientific Publishing Co., 1997.
    [23] Hoare CAR. Communicating Sequential Processes. Prentice Hall, 1985.
    [24] Taentzer G. AGG: A graph transformation environment for modeling and validation of software. LNCS 3062, 2004. 446?453. [doi: 10.1007/978-3-540-25959-6_35]
    Related
Get Citation

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

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:July 09,2010
  • Revised:March 29,2011
Links:Institute of Software, CASChina Computer FederationCASNSFC
You are the first2038055Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address：4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code：100190
Phone：010-62562563 Fax：010-62562533 Email：jos@iscas.ac.cn
Technical Support：Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063