Skip to main content
Conference Proceedings

Specification and verification of data and time in Web service composition

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2011) 6988 LNCS(PART 2) 436-443
DOI: 10.1007/978-3-642-23982-3_53
1Citations
Citations of this article
3Readers
Mendeley users who have this article in their library.
Get full text

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. © 2011 Springer-Verlag.

Author supplied keywords

Cite

CITATION STYLE

APA

Zhang, G., Di, H., Rong, M., & Shi, H. (2011). Specification and verification of data and time in Web service composition. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6988 LNCS, pp. 436–443). https://doi.org/10.1007/978-3-642-23982-3_53

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free