Architectural Mismatch Detection between Component and Aspect Based on Finite Automata

Architectural mismatch increases the underlying danger of compositional system and reduces the reusability of component. Traditional architectural mismatch throws much concern on the mismatch between components. Nonfunctional property, regard as the second or even third-class entity, is used to guide to choose component and connector, implement analysis of the performance and check the constraint. By introducing Aspect to software architecture, this paper extends the basic elements of software architecture by two means: 1) taken nonfunctional property as a first-class entity and 2) describing it with Aspect. Firstly, this paper defines the connection between component and aspect. The different way of composition between component and aspect determines the mismatch which is different from the mismatch between components. Secondly the architectural mismatch is described through finite automata. Finally, the algorithm of architectural mismatch detection is proposed. A simple example validates the algorithm roughly, and the advantages as well as the problems of the algorithm are discussed.