Feasibility Analysis for the Component-based Software Evolution

摘要

Component-based software evolution feasibility analysis focus on whether the basic evolution objectives are executable under the circumstance of component-based software. We proposed an algorithm-based method to solve the question in this paper, and this method is not only helpful for researchers or engineers to emulate their legacy system evolving strategies, but also is a meaningful extension for Kripke structure.