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, Suisse
TypeCommunication / Conférence
Conference title4th IEEE European Conference on Web Services (ECOWS 06)
MetadataShow full item record
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 / KeywordsWeb services; Verifying Correctness of Web Services Choreography
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é