Skip to main content
SpringerLink
Log in

Specification and Verification of Data and Time in Web Service Composition

  • Conference paper
Book cover Web Information Systems and Mining (WISM 2011)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 6988))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)

    Google Scholar 

  2. Fu, X., Bultan, T.: Analysis of interacting BPEL Web service. In: Proceedings of the 13th International Conference on the World Wide, New York, USA, pp. 621–630 (2004)

    Google Scholar 

  3. Diaz, G., Pardo, J.J., Cambronero, M.E., Valero, V., Cuartero, F.: Automatic translation of WS-CDL choreographies to timed automata. In: Proceedings of the International Workshop on Web Service and Formal Methods, Versailles, France, pp. 230–242 (2005)

    Google Scholar 

  4. Zhao, X.P., Yang, H.L., Qiu, Z.Y.: Towards the formal model and verification of Web service choreography description language. In: Bravetti, M., Núñez, M., Tennenholtz, M. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 273–287. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  5. Guermouche, N., Godart, C.: Timed model checking based approach for Web services analysis. In: Proceedings of 7th Int’l Conf. on Web Services, Los Angeles, USA, pp. 213–221 (2009)

    Google Scholar 

  6. Peng, Y.B., Ye, L., Zheng, Z.J.: Automatic service composition verification based on Pi-Calculus. In: Proceedings of the International Conference on E-Business and Information System Security (2009)

    Google Scholar 

  7. He, Y.L., Rong, M., Zhang, G.Q.: Model checking of Web service composition based on UPPAAL. Computer Science (2010)

    Google Scholar 

  8. Yan, Y.H., Pencole, Y.: Monitoring Web service NetWorks in a model-based approach. In: Proceedings of the 3th European Conference on Web Service, Vaxjo, Sweden (2005)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computer Science and Technology, Soochow University, Suzhou, China

    Guangquan Zhang, Haojun Di & Huijuan Shi

  2. State Key Laboratory of Computer Science, Chinese Academy of Science, Beijing, China

    Guangquan Zhang

  3. Shenzhen Tourism College, Jinan University, Shenzhen, China

    Mei Rong

Authors
  1. Guangquan Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Haojun Di
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Mei Rong
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Huijuan Shi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer and Inforamtion Science, University of Macau, Av. Padre Tomás Pereira, Taipa, Macau, China

    Zhiguo Gong

  2. School of Computer, Shanghai University, 200444, Shanghai, China

    Xiangfeng Luo

  3. College of Computer and Software, Taiyuan University of Technology, 030024, Taiyuan, China

    Junjie Chen

  4. School of Computer and Information Engineering, Shanghai University of Electric Power, 200090, Shanghai, China

    Jingsheng Lei

  5. Department of Business Administration, Caritas Institute of Higher Education, 18 Chui Ling Road, Tseung Kwan O, Hong Kong, China

    Fu Lee Wang

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Zhang, G., Di, H., Rong, M., Shi, H. (2011). Specification and Verification of Data and Time in Web Service Composition. In: Gong, Z., Luo, X., Chen, J., Lei, J., Wang, F.L. (eds) Web Information Systems and Mining. WISM 2011. Lecture Notes in Computer Science, vol 6988. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-23982-3_53

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-23982-3_53

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-23981-6

  • Online ISBN: 978-3-642-23982-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation