A Verification-Based Approach to Evaluate Software Architecture Evolution
A Verification-Based Approach to Evaluate Software Architecture Evolution
复制标题
评估软件架构演化的基于验证的方法
DOI：
10.1049/cje.2017.03.009
复制
发表时间：
2017-05
影响因子：
1.2
通讯作者：
Yu Ximeng
中科院分区：
文献类型：
--
作者：
Li Bixin;Liao Li;Yu Ximeng
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.
