Software architecture matching by meta-model extension and refinement

The construction of the software architecture (SA) is a key aspect in component-based software development (CBSD). The SA can characterize the system design at a high level, and focus on the computing units as well as their interactions. Nowadays, software runs in an open, dynamic and changeable environment, which requires the SA should be dynamic and able to adapt to changes. The inconsistency of the software architecture caused by adapting to changes may lead to architecture mismatching, which becomes a new challenge for the software development. In this paper, we try to ensure the correctness of architecture matching in two ways. On one hand, we extend the meta-model of xADL 2.0 by adding explicit matching features. Based on these features, we use OCL to verify whether the SA meta-model matches the requirement. On the other hand, we refine the interaction by specifying action abstractions from an implicit behavior view. With these two methods, we can weave matching properties to the SA meta-model at the design stage, which helps to guide the whole software system development.