Formal specification of flexible web service composition
by Yasser Oussalah; Nadia Zeghib
International Journal of Critical Computer-Based Systems (IJCCBS), Vol. 6, No. 2, 2015

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.

Online publication date: Fri, 11-Dec-2015

The full text of this article is only available to individual subscribers or to users at subscribing institutions.

 
Existing subscribers:
Go to Inderscience Online Journals to access the Full Text of this article.

Pay per view:
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.

Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Critical Computer-Based Systems (IJCCBS):
Login with your Inderscience username and password:

Username:        Password:          Forgotten your password?

Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.

If you still need assistance, please email subs@inderscience.com