Abstract
Web services are software applications which can be used through a network (intranet or Internet) via the exchange of messages based on XML standards. They are aimed at wild reusability and are typically designed to interact with other in order to build larger applications. Web service sometimes requires combining more than one to meet our requirements. Service composition is the process of creating new services from a set of 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 present a framework for model checking web service choreography based on checking web service (CWB) in which the web services support synchronous or asynchronous timed communications. Particularly, in this paper we present a new modeling of Web services using temporal value passing calculus of communicating systems (TVPCCS).
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: International Journal of Information and Education Technology
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
