Asynchronous Timed Web Service-Aware Choreography Analysis
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Model checking for asynchronous web service composition based on XYZ/ADL
WISM'11 Proceedings of the 2011 international conference on Web information systems and mining - Volume Part II
Specification and verification of data and time in web service composition
WISM'11 Proceedings of the 2011 international conference on Web information systems and mining - Volume Part II
Generating correct compositions of semantic web services with respect to temporal constraints
Proceedings of the 18th Brazilian symposium on Multimedia and the web
Reliable Web service selection in choreographed environments
Decision Support Systems
Hi-index | 0.00 |
Web services are the main pillar of the Service Oriented Computing (SOC) paradigm which enables the application 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 a model checking based approach that deals with checking the compatibility of a choreography in which the Web services support asynchronous timed communications. Particularly, in this paper we are using the model checker UPPAAL. We propose a set of required abstractions that allow to use the model checker UPPAAL to deal with timed asynchronous communicating services.