Toggle Main Menu Toggle Search

Open Access padlockePrints

Issues about the Adoption of Formal Methods for Dependable Composition of Web Services

Lookup NU author(s): Dr Manuel Mazzara



Web Services provide interoperable mechanisms for describing, locating and invoking services over the Internet; composition further enables to build complex services out of simpler ones for complex B2B applications. While current studies on these topics are mostly focused - from the technical viewpoint - on standards and protocols, this paper investigates the adoption of formal methods, especially for composition. We logically classify and analyze three different (but interconnected) kinds of important issues towards this goal, namely foundations, verification and extensions. The aim of this work is to individuate the proper questions on the adoption of formal methods for dependable composition of Web Services, not necessarily to find the optimal answers. Nevertheless, we still try to propose some tentative answers based on our proposal for a composition calculus, which we hope can animate a proper discussion.

Publication metadata

Author(s): Mazzara M

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2010

Pages: 19

Print publication date: 01/03/2010

Source Publication Date: March 2010

Report Number: 1193

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne