Transformation of compound SOA Design Patterns

:Software Design Patterns provide architects and developers with reusable software elements helping them to master building complex software systems. In real applications, problems are complex and their solutions can be represented by compound patterns that require the combination and reuse of two or more design patterns. In this paper, we propose a transformation approach of compound SOA design patterns based on two types of transformations. The first type, is an M2M (Model to Model) transformation. It allows to transform SOA design patterns modeled with the semi-formal SoaML language and linked together with composition operators to a compound pattern. The second type, is an M2T (Model to Text) transformation. It allows to transform compound pattern model to Event-B specifications. So, the compound pattern will have a graphic representation and a formal description.