Behavior Consistency Verification for Evolution of Aspectual Component-Based Software
Xue Yao Zhou, Ning Jiang Chen, Dan Hu · Advanced materials research · 2013
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.