A mediation based approach for formal verification of web services composition

An important issue that remains is how to ensure a correct Web services composition. Different approaches have been proposed to obtain a correct composition, but they ignore the problem of heterogenities between web services. Solutions have been proposed to solve these problems. These approaches are based on mediation. Our work is to propose an approach for the formal verification of Web service composition by integrating the mediation protocol. This paper introduces a WSDL extension metamodel for the description of mediation characteristics of a web service. The proposed WSDL extension is introduced as a new architectural style and then transformed into the ACME Architecture Description Language metamodel to verify the Web services composition. Then, we provide after that an MDE process that uses the concepts of models and metamodels in order to guide developers through a series of transformations to obtain a formal code.