LI Bixin, LIAO Li, YU Ximeng. A Verification-Based Approach to Evaluate Software Architecture Evolution[J]. Chinese Journal of Electronics, 2017, 26(3): 485-492. doi: 10.1049/cje.2017.03.009
Citation: LI Bixin, LIAO Li, YU Ximeng. A Verification-Based Approach to Evaluate Software Architecture Evolution[J]. Chinese Journal of Electronics, 2017, 26(3): 485-492. doi: 10.1049/cje.2017.03.009

A Verification-Based Approach to Evaluate Software Architecture Evolution

doi: 10.1049/cje.2017.03.009
Funds:  This work is supported by the National Natural Science Foundation of China (No.61572126) and Huawei Technologies Co., Ltd.(No.YBN2016020009).
  • Received Date: 2015-07-06
  • Rev Recd Date: 2016-01-08
  • Publish Date: 2017-05-10
  • As the development and wide usage of Software architecture (SA), SA evolution becomes one of the hotspots of current research in modern software engineering domain. Most current researches concentrate on the modeling of SA evolution and lack the verification and evaluation of SA evolution. We proposed a verificationbased approach to evaluate SA evolution. The basic process includes:1) using Unified modeling language (UML) sequence diagram to model the interaction of components and study different types of evolution in practical examples; 2) using SPIN-based model checking to model and verify SA evolution; 3) comparing various verification outcomes and analyzing the influence of SA evolution on SA correctness and temporal properties. Both theory analysis and an experiment on a real evolution example from Model-view controller (MVC) to Spring web MVC (SWMVC) show that the verification-based approach to evaluate SA is significant.
  • loading
  • T. Mens and S. Demeyer, Software Evolution, Springer, pp.122-150, 2008.
    O. Barais, "Software architecture evolution", Software Evolution, Springer Berlin Heidelberg, pp.233-262, 2008.
    N. Medvidovic and R.N. Taylor, "A classification and comparison framework for software architecture description languages", IEEE Transactions on Software Engineering, Vol.26, No.1, pp.70-93, 2000.
    C. Hofmeister, R.L. Nord and D. Soni, "Describing software architecture with UML", Software Architecture, Springer US, pp.145-159, 1999.
    P.B. Kruchten, "The 4+1 view model of architecture", IEEE Software, Vol.12, No.6, pp.42-50, 1995.
    H. Koziolek, "Sustainability evaluation of software architectures:A systematic review", Proceedings of Joint ACM SIGSOFT Conference on Quality of Software Architectures, Boulder, Colorado, USA, June 20-24, pp.21-35, 2011.
    B.J. Williams and J.C. Carver, "Characterizing software architecture changes:A systematic review", Information and Software Technology, Vol.52, No.1, pp.31-51, 2010.
    E.M. Clarke, O. Grumberg and D.A. Peled, Model Checking, MIT press, 1999.
    H.M. Lin and W.H. Zhang, "Model checking:Theories, techniques and applications", Acta Electronica Sinica, Vol.30, No.l2, pp.1907-1912, 2002.
    K.L. McMillan, "Symbolic model checking", Springer US, 1993.
    G.J. Holzmann, "The model checker SPIN", IEEE Transactions on Software Engineering, Vol.23, No.5, pp.279-295, 1997.
    J. Wang, W. Dong and Z. Qi, "Slicing hierarchical automata for model checking UML statecharts", Lecture Notes in Computer Science, Vol.2495, pp.435-446, 2002.
    X. Sun, B. Li, S. Zhang and C. Tao, "HSM-based change impact analysis of object-oriented java programs", Chinese of Journal Electronics, Vol.20, No.2, pp.247-251, 2011.
    X. Sun, B. Li, B. Li and Y. Chen, "SE-FCA:A model of software evolution with formal concept analysis", Chinese of Journal Electronics, Vol.24, No.1, pp.13-19, 2015.
    P. Oreizy, N. Medvidovic and R.N. Taylor, "Architecture-based runtime software evolution", Proceedings of 20th International Conference on Software Engineering, Kyoto, Japan, April 19-25, pp.177-186, 1998.
    R. Kazman, M.H. Klein, M.R. Barbacci, T.A. Longstaff, H.F. Lipson and J. Carriere, "The architecture tradeoff analysis method", Technical Report, Carnegie Mellon University, CMU/SEI-98-TR-008, 1998.
  • 加载中

Catalog

    通讯作者: 陈斌, bchen63@163.com
    • 1. 

      沈阳化工大学材料科学与工程学院 沈阳 110142

    1. 本站搜索
    2. 百度学术搜索
    3. 万方数据库搜索
    4. CNKI搜索

    Article Metrics

    Article views (158) PDF downloads(377) Cited by()
    Proportional views
    Related

    /

    DownLoad:  Full-Size Img  PowerPoint
    Return
    Return