A FRAMEWORK FOR MODEL CHECKING WEB SERVICE CHOREOGRAPHY BASED ON CWB
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 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 Calculus of Communicating Systems (TCCS).
Model Checking Web Service Composition Temporal Calculus of Communicating Systems, the Edinburgh Concurrency Workbench
MOHAMMED LAMINE BEGGAR LIAO LEJIAN
beijing engineering research centre of high volume language information processing & cloud computing applications,beijing laboratory of intelligent information technology,school of computer science,beijing institute of technology beijing 100081,china
国际会议
成都
英文
2115-2125
2011-11-25（万方平台首次上网日期，不代表论文的发表时间）