Checking Compatibility of Web Services Behaviorally - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Checking Compatibility of Web Services Behaviorally

Résumé

Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. In this context, we propose an approach based on Symbolic Observation Graphs (SOG) allowing to decide whether two (or more) web services can cooperate safely. The compatibility between two web services is defined by the well known soundness property on open workflow nets. This property guarantees the absence of anomalies (e.g. deadlock) that can appear after composition. We propose to abstract the concrete behavior of a web service using a SOG and show how composition of web services as well as the compatibility check can be achieved through the composition of their abstractions (i.e. SOGs). This approach allows to respect the privacy of the services since SOGs are based on collaborative activities only and hide the internal structure and behavior of the corresponding service.
Fichier principal
Vignette du fichier
978-3-642-40213-5_17_Chapter.pdf (220.28 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01514668 , version 1 (26-04-2017)

Licence

Paternité

Identifiants

Citer

Kais Klai, Hanen Ochi. Checking Compatibility of Web Services Behaviorally. 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.267-282, ⟨10.1007/978-3-642-40213-5_17⟩. ⟨hal-01514668⟩
270 Consultations
101 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More