|
 
|
[BEK10] Structural Verification of Web Services Composition Compatibility
Conférence Internationale avec comité de lecture : EOMAS 2010, 6th International Workshop on Enterprise & Organizational Modeling and Simulation, Hammamet, Tunisia, June 7 - 8, 2010., January 2010, pp.30-41, Series CEUR Workshop Proceedings , ISSN 1613-0073,
motcle:
Résumé:
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 veri cation of behavior models of
web services composition. In particular, we have to check that neither deadlock nor livelock occurs in this composition. Usually, the veri cation 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 suffcient conditions ensuring compatible composition and a better understanding of
the incompatibility sources.
Keywords: web service composition, compatibility, structure theory of Petri nets
For further information, please visit this web site.
Keywords: web service composition, compatibility, structure theory of Petri nets
For further information, please visit this web site.
BibTeX
| @inproceedings { | |||
| BEK10, | |||
| title | = | "{Structural Verification of Web Services Composition Compatibility}", | |
| author | = | " K. Barkaoui and M. Eslamichalandar and M. Kaabachi ", | |
| booktitle | = | "{EOMAS 2010, 6th International Workshop on Enterprise & Organizational Modeling and Simulation, Hammamet, Tunisia, June 7 - 8, 2010.}", | |
| year | = | 2010, | |
| month | = | "January", | |
| series | = | "CEUR Workshop Proceedings , ISSN 1613-0073", | |
| pages | = | "30-41", | |
| } | |||
