Thumbnail

Verifying Correctness of Web Services Choreography

Melliti, Tarak; Boutrous Saab, Céline; Rampacek, Sylvain (2006), Verifying Correctness of Web Services Choreography, 4th IEEE European Conference on Web Services (ECOWS 06), 2006, Zurich, Switzlerland

View/Open
Type
Communication / Conférence
Date
2006
Conference title
4th IEEE European Conference on Web Services (ECOWS 06)
Conference date
2006
Conference city
Zurich
Conference country
Switzlerland
Metadata
Show full item record
Author(s)
Melliti, Tarak
Boutrous Saab, Céline
Rampacek, Sylvain
Abstract (EN)
In this paper, we propose a performance evaluation of mobile access to web services considering the gateway scenario. The model takes into account the gateway message processing strategies and the complexity of the web services. The evaluation of requests process is made by Markov chain. We show how the solution of this model is a product-form. Thus the performances measures can be deduced easily.
Subjects / Keywords
Web services; Verifying Correctness of Web Services Choreography