Title: Formal specification of flexible web service composition
Authors: Yasser Oussalah; Nadia Zeghib
Addresses: Lire Laboratory, Constantine 2 – Abdelhamid Mehri University, Constantine, Algeria ' Lire Laboratory, Constantine 2 – Abdelhamid Mehri University, Constantine, Algeria
Abstract: Web services give a standard way for interface definition, transport mechanism, description, discovery and integration of services. Although the heterogeneity among applications is reduced, mismatches may occur at different levels (structural, behavioural and non-functional) during web services composition process. These mismatches require adaptation to ensure the correct working between web services. In this paper, we propose an approach for dynamic web service composition and adaptation. We specify formally the flexible web service composition (FWSC) using a rewriting logic-based language namely Maude. We show how to adapt the interfaces of existing web services without having to operate on the source manually. As a result, existing web services may be easily reused in a broader range of applications, and services libraries do not need to store many variants of a component that differ only in how the interfaces are used.
Keywords: web services; formal specification; Maude; web service composition; flexible WSC; interface adaptation.
International Journal of Critical Computer-Based Systems, 2015 Vol.6 No.2, pp.81 - 99
Received: 08 Aug 2014
Accepted: 12 Mar 2015
Published online: 11 Dec 2015 *