2011 | OriginalPaper | Chapter
Specification and Verification of Data and Time in Web Service Composition
Authors : Guangquan Zhang, Haojun Di, Mei Rong, Huijuan Shi
Published in: Web Information Systems and Mining
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
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.