Complexity aspects of web services composition - Université Clermont Auvergne Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2015

Complexity aspects of web services composition

Résumé

The web service composition problem can be stated as follows: given a finite state machine M , representing a service business protocol, and a set of finite state machines R, representing the business protocols of existing services, the question is to check whether there is a simulation relation between M and the shuffle product closure of R. In fact the shuffle product is a subclass of the communication free petri net and basic parallel processes, for which the same problem of simulation is known to be 2-Exptime-hard. This paper studies the impact of several parameters on the complexity of this problem. We show that the problem is Exptime-complete if we bound either: (i) the number of instances of services in R that can be used in a composition, or (ii) the number of the so-called hybrid states in the finite state machines of R. Moreover, for the particular case where the bound of the hybrid states of the finite state machines of R is set to 2, we show that the composition problem is in 3-Exptime.
Fichier principal
Vignette du fichier
Ennaoui-WSComposition.pdf (534.53 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01179719 , version 1 (23-07-2015)

Identifiants

  • HAL Id : hal-01179719 , version 1

Citer

Karima Ennaoui, Lhouari Nourine, Farouk Toumani. Complexity aspects of web services composition. 2015. ⟨hal-01179719⟩
154 Consultations
167 Téléchargements

Partager

Gmail Facebook X LinkedIn More