Automatic Web services composition using maude strategies

Web services are modular, self-descriptive and loosely coupled applications; they provide a simple programming and deployment model. Besides, they are designed to interact with other services to form larger applications. From a software engineering point of view, the construction of new services by composing existing services raises a number of challenges. One of them is the ability to efficiently and effectively select and integrate inter-organizational and heterogeneous services on the Web at runtime. Recently, several formal methods, most of them with a semantics based on transition systems, have been used to guarantee correct service compositions without insisting on its automation. The main goal of this work is to propose a Rewriting Logic based framework in order to enhance automatic Web services composition. The proposed model execution allows to discover services automatically and guarantee the correct interaction of independent pieces of software in a transparent manner.