
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érenceDate
2006Conference title
4th IEEE European Conference on Web Services (ECOWS 06)Conference date
2006Conference city
ZurichConference country
SwitzlerlandMetadata
Show full item recordAbstract (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 ChoreographyRelated items
Showing items related by title and author.
-
Boutrous Saab, Céline; Coulibaly, Demba; Haddad, Serge; Melliti, Tarak; Rampacek, Sylvain; Moreaux, Patrice (2009) Article accepté pour publication ou publié
-
Boutrous Saab, Céline; Melliti, Tarak; Mokdad, Lynda (2006) Communication / Conférence
-
Haddad, Serge; Melliti, Tarak; Moreaux, Patrice; Rampacek, Sylvain (2004) Communication / Conférence
-
Haddad, Serge; Melliti, Tarak; Moreaux, Patrice; Rampacek, Sylvain (2004) Communication / Conférence
-
Boutrous Saab, Céline; Haddad, Serge; Monfort, Valérie (2006) Chapitre d'ouvrage