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.

DOI: 10.1504/IJCCBS.2015.073517

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 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article