Checking Compatibility of Web Services Behaviorally

Abstract : 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.
Type de document :
Communication dans un congrès
Farhad Arbab; Marjan Sirjani. 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. Springer Berlin Heidelberg, Lecture Notes in Computer Science, LNCS-8161, pp.267-282, 2013, Fundamentals of Software Engineering. 〈10.1007/978-3-642-40213-5_17〉
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01514668
Contributeur : Hal Ifip <>
Soumis le : mercredi 26 avril 2017 - 15:22:11
Dernière modification le : jeudi 11 janvier 2018 - 06:17:32
Document(s) archivé(s) le : jeudi 27 juillet 2017 - 12:52:20

Fichier

978-3-642-40213-5_17_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Kais Klai, Hanen Ochi. Checking Compatibility of Web Services Behaviorally. Farhad Arbab; Marjan Sirjani. 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. Springer Berlin Heidelberg, Lecture Notes in Computer Science, LNCS-8161, pp.267-282, 2013, Fundamentals of Software Engineering. 〈10.1007/978-3-642-40213-5_17〉. 〈hal-01514668〉

Partager

Métriques

Consultations de la notice

101

Téléchargements de fichiers

19