2009 | OriginalPaper | Chapter
Asynchronous Timed Web Service-Aware Choreography Analysis
Authors : Nawal Guermouche, Claude Godart
Published in: Advanced Information Systems Engineering
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
Web services are the main pillar of the Service Oriented Computing (SOC) paradigm which enables applications integration within and across business organizations. One of the important features of the Web services is the
choreography
aspect which allows to capture collaborative processes involving multiple services. In this context, one of the important investigations is the
choreography compatibility analysis
. We mean by the choreography compatibility the capability of a set of Web services of actually interacting by exchanging messages in a proper manner. Whether a set of services are compatible depends not only on their sequences of messages but also on
quantitative properties
such as
timed properties
. In this paper, we investigate an approach that deals with checking the
timed compatibility of a choreography
in which the Web services support
asynchronous timed communications
.