关键词：软件体系结构；动态演化;行为一致性；电子信息
摘 要：Aspect-Oriented Software Architecture (AOA) is a high-level abstraction and integration blueprint of aspectual component-based software.A semantic model of aspectual component-based software is proposed to provide behavior description and semantic foundation for the consistency verification of software architecture dynamic evolution.By using the semantic model of Pi-calculus,a set of the consistency verification methods of dynamic evolution from multiple aspects are introduced.Finally,a case study shows the effect of these methods.