Pattern Matching in Models

The goal of this paper is to investigate how such a pattern matching could be performed on models, including the definition of the input language as well as the elaboration of efficient matching algorithms. Design patterns can be considered reusable micro-architectures that contribute to an overall system architecture. Frameworks are also closely related to design patterns. Components offer the possibility to radically change the behaviors and services offered by an application by substitution or addition of new components, even a long time after deployment. Software testing is another aspect of reliable development. Testing activities mainly consist in ensuring that a system implementation conforms to its specifications.