A formal approach for SOA design patterns composition

Software Design Patterns provide architects and developers with reusable software elements helping them to master building complex software systems. Nevertheless, presented in an informal way, software design patterns may give rise to ambiguity and may lead to their incorrect usage as well as incorrect compositions. In this paper we focus on SOA design patterns composition and we propose a rigorous composition method based on two steps. Firstly, we outline a precise definition of the composition process with the semi-formal SoaML standard language. Secondly, we outline a formal composition process using Event-B method. Our approach covers both structural and behavioral features of composed patterns.