Binary Information Press
To separately encapsulate and define crosscutting behaviors, crosscutting features and their effects, quite a few Aspect-Oriented software Architecture Description Languages (AOADLs) have been proposed. So software architecture described by AOADLs called Aspect-Oriented Software Architecture (AOSA) is easier to comprehend, evolve and reuse. However, in AOSA aspects have many complicated structural correlations and behavioral interactions with various elements such as components, connectors and even aspects themselves. As a result, there are some challenges in analyzing and verifying overall behaviors and quality attributes of AOSA.