A Verification-Based Approach to Evaluate Software Architecture Evolution

LI Bixin; LIAO Li; YU Ximeng

doi:10.1049/cje.2017.03.009

Volume 26 Issue 3

Turn off MathJax

Article Contents

Article Navigation > Chinese Journal of Electronics > 2017 > 26(3): 485-492

LI Bixin, LIAO Li, YU Ximeng, “A Verification-Based Approach to Evaluate Software Architecture Evolution,” Chinese Journal of Electronics, vol. 26, no. 3, pp. 485-492, 2017, doi: 10.1049/cje.2017.03.009

Citation:

LI Bixin, LIAO Li, YU Ximeng, “A Verification-Based Approach to Evaluate Software Architecture Evolution,” Chinese Journal of Electronics, vol. 26, no. 3, pp. 485-492, 2017, doi: 10.1049/cje.2017.03.009

Citation:

PDF( 669 KB)

A Verification-Based Approach to Evaluate Software Architecture Evolution

doi: 10.1049/cje.2017.03.009

School of Computer Science and Engineering, Southeast University, Nanjing 211189, China

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

Abstract

Abstract

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.
- Software architecture evolution,
- Evolution evaluation,
- Model checking,
- Sequence diagram

FullText(HTML)

References(16)

References

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.

Relative Articles

Supplements(0)

Cited By

Proportional views