Abstract
Software architecture design usually needs to be migrated to new architectural styles when new technologies and principles are adopted to enhance the qualities of the software system. The architectural migration is an evolution process, which the system is gradually and incrementally changed while the functionalities are still preserved. Planning the migration towards a new design is an important and challenging task. This paper presents an automated planning approach for architectural migration by applying AI planning and model checking technique. Our approach can automatically generate migration plans that can be used to find evolution path towards the new architecture designs. We have demonstrated our approach with a real-world system and found that it works effectively.