A Structural Verification of Web Services Composition Compatibility - Archive ouverte HAL Access content directly
Other Publications Year : 2010

A Structural Verification of Web Services Composition Compatibility

Abstract

A fundamental feature of service oriented computing is that simple services need to be composed for generating complex services. This work focuses on the analysis and verification of behavior models of web services composition. In particular, we have to check that neither deadlock nor livelock occurs in this composition. Usually, the verification of such integration, with or without mediators, is achieved by using techniques based on state space exploration of a given service formal model. In this paper, we present an approach based on structure theory of Petri nets allowing the recognition of necessary and/or sufficient conditions ensuring compatible composition and a better understanding of the incompatibility sources.
Fichier principal
Vignette du fichier
BEK.pdf (604.06 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-00704572 , version 1 (14-06-2012)

Identifiers

  • HAL Id : hal-00704572 , version 1

Cite

Kamel Barkaoui, Maryam Eslamichalandar, Meryem Kaabachi. A Structural Verification of Web Services Composition Compatibility. 2010, pp.30-41. ⟨hal-00704572⟩
137 View
67 Download

Share

Gmail Facebook X LinkedIn More