Skip to main content
SpringerLink
Log in

Verifying Web Services Composition

  • Conference paper
Perspectives in Conceptual Modeling (ER 2005)

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

Included in the following conference series:

Abstract

Current Web services composition proposals, such as BPEL, BPSS or WSCI, provide notations for describing the control and message flows in service collaborations. However, they remain at the descriptive level, without providing any kind of mechanisms or tool support for verifying the composition specified in them. In this paper, we present an approach based on CP-net formalism to analyze and verify Web services composition. We provide translation scheme from composition language into CP-nets and the techniques to analyze and verify effectively the CP-nets to investigate several behavioral properties. Our approach is essentially independent of the language describing composition. As an example, to show the effectiveness of our technique, in this paper, we present the transformation of WSCI to CP-nets, which can be analyzed, verified and simulated as prototypes of WSCI models by the CP-net tools.

The paper is supported by the National Grand Fundamental Research 863 Program of China under Grant No.2003AA001023.

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. Yang, Y.P., Tan, Q.P., Yu, J.S., Liu, F.: Transformation BPEL to CP-Nets for Verifying Web services Composition. In: The International Conference on Next generation Web services Practices (NWeSP 2005). IEEE Computer Society, Seoul (2005)

    Google Scholar 

  2. Jensen, K.: Colored Petri Nets Basic Concepts, Analysis Methods and Practical Use, 2nd edn., vol. 1, 2, 3 (1996)

    Google Scholar 

  3. Mecella, M., Pernici, B., Craca, P.: Compatibility of Web services in a Cooperative Multi-Platform Environment. In: Proceedings of VLDB-TES 2001, Rome, Italy (2001)

    Google Scholar 

  4. Narayanan, S., McIlraith, S.A.: Simulation, verification and automated composition of Web services. In: Proceedings of the 11th International World Wide Web Conference, pp. 77–88. ACM, Honolulu (2002)

    Chapter  Google Scholar 

  5. Martens, A.: Distributed Business Processes - modeling and Verification by help of Web services, PhD thesis, Humboldt-University at zu Berlin, (July 2003) available at http://www.informatik.hu-berlin.de/top/download/documents/pdf/Mar03.pdf

  6. van der Aalst, W.M.P., van Hee, K.M.: Workflow Management: Models, Methods, and Systems. The MIT Press, Cambridge (2002)

    Google Scholar 

  7. Stahl, C.: Transformation von BPEL4WS in Petrinetze. Diplomarbeit, Humboldt-UniversitÄat zu Berlin (April 2004)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer College of National University of Defense Technology, China

    YanPing Yang & QingPing Tan

  2. National Lab of Parallel Distributed Process, China

    Yong Xiao

Authors
  1. YanPing Yang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. QingPing Tan
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Yong Xiao
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Conservatoire National des Arts et Métiers and INT, France

    Jacky Akoka

  2. Information Systems Department, Brigham Young Univeristy, 84602, Provo, Utah, U.S.A.

    Stephen W. Liddle

  3. College of Information Science and Technology, Drexel University, USA

    Il-Yeol Song

  4. University College, Dublin, Ireland

    Michela Bertolotto

  5. CEDRIC-CNAM and ESSEC,  

    Isabelle Comyn-Wattiau

  6. Infolab, Tilburg University, PO Box 90158, 5000 LE, Tilburg, The Netherlands

    Willem-Jan van den Heuvel

  7. ISYS- Information Systems Research Unit, IAG-Louvain School of Management, Université catholique de Louvain, 1348 Louvain-la-Neuve, Belgium

    Manuel Kolp

  8. Department of Software and Computing Systems, University of Alicante, Spain

    Juan Trujillo

  9. Institute for Applied Informatics, Alpen-Adria-Universität, Klagenfurt, Austria

    Christian Kop  & Heinrich C. Mayr  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Yang, Y., Tan, Q., Xiao, Y. (2005). Verifying Web Services Composition. In: Akoka, J., et al. Perspectives in Conceptual Modeling. ER 2005. Lecture Notes in Computer Science, vol 3770. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11568346_38

Download citation

  • DOI: https://doi.org/10.1007/11568346_38

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-29395-8

  • Online ISBN: 978-3-540-32239-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation