Specification and verification of data and time in web service composition

Authors:
Guangquan Zhang;Haojun Di;Mei Rong;Huijuan Shi
Affiliations:
School of Computer Science and Technology, Soochow University, Suzhou, China and State Key Laboratory of Computer Science, Chinese Academy of Science, Beijing, China;School of Computer Science and Technology, Soochow University, Suzhou, China;Shenzhen Tourism College, Jinan University, Shenzhen, China;School of Computer Science and Technology, Soochow University, Suzhou, China
Venue:
WISM'11 Proceedings of the 2011 international conference on Web information systems and mining - Volume Part II
Year:
2011

Citing 6
Cited 0

Model checking

Model checking
Analysis of interacting BPEL web services

Proceedings of the 13th international conference on World Wide Web
MonitoringWeb Service Networks in a Model-based Approach

ECOWS '05 Proceedings of the Third European Conference on Web Services
Timed Model Checking Based Approach for Web Services Analysis

ICWS '09 Proceedings of the 2009 IEEE International Conference on Web Services
Automatic translation of WS-CDL choreographies to timed automata

EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Towards the formal model and verification of web service choreography description language

WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

The verification of Web service composition has been widely acknowledged as a challenging problem. In this paper we present a method based on data and time aware service model to validate property of Web service composition. First we translate Web service composition specification to formal model which contains data related information and time related information, and then translate this model to UPPAAL specification, at last the correctness of Web service composition is verified through the UPPAAL tool.