Skip to main content
SpringerLink
Log in

Web services choreography validation

  • Original Research Paper
  • Published:
Service Oriented Computing and Applications Aims and scope Submit manuscript

Abstract

In this paper, we propose an approach to simulation and validation of Web services choreography described by WS-CDL. Simulation of Web services choreography is important to analyze and test the choreography model written by SOA designers. On the other hand, WS-CDL specification regulates the correct behaviors a WS-CDL document has to obey. Thus, constraints are specified in WS-CDL specification including static, dynamic and implementation ones. We developed a relational calculus to capture those constraints precisely, and a corresponding algorithm for relational analysis is performed with the WS-CDL parser and simulator. Last but not least, a tool called CDLchecker is developed to facilitate designers to simulate and validate WS-CDL documents.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Brogi A, Canal C, Pimentel E, Vallecillo A (2004) Formalizing web service choreographies. Electron Notes Theor Comput Sci 105: 73–94

    Article  Google Scholar 

  2. Dustdar S, Haslinger S (2004) Testing of service-oriented architectures—a practical approach. In: Weske M, Liggesmeyer P (eds) Net.ObjectDays. Lecture Notes in Computer Science, vol 3263. Springer, Berlin, pp 97–109

  3. Fan W (2005) Xml constraints: Specification, analysis, and applications. In: DEXA Workshops. IEEE Computer Society, pp 805–809

  4. Fan W, Kuper GM, Siméon J (2002) A unified constraint model for xml. Comput Netw 39(5): 489–505

    Article  Google Scholar 

  5. Gorrieri R, Guidi C, Lucchi R (2005) Reasoning about interaction patterns in choreography. In: Bravetti M, Kloul L, Zavattaro G, (eds) EPEW/WS-FM. Lecture Notes in Computer Science, vol 3670. Springer, Berlin, pp 333–348

  6. Java architecture for xml binding (jaxb). http://java.sun.com/developer/technicalArticles/WebServices/jaxb/

  7. Kang Z, Wang H, Hung PC (2007) WS-CDL+ for web service collaboration. Inf Syst Front 9(4): 375–389

    Article  Google Scholar 

  8. Li Z, Sun W, Jiang ZB, Zhang X (2005) Bpel4ws unit testing: framework and implementation. In: ICWS ’05: proceedings of the IEEE international conference on web services. IEEE Computer Society, Washington, DC, USA, pp 103–110

  9. Meng S, Arbab F (2007) Web services choreography and orchestration in reo and constraint automata. In: SAC ’07: proceedings of the 2007 ACM symposium on applied computing. ACM, New York, NY, USA, pp 346–353

  10. Milner R (1982) A calculus of communicating systems. Springer, New York

    Google Scholar 

  11. Pi4soa. http://sourceforge.net/projects/pi4soa/

  12. Pu G, Shi J, Wang Z, Jin L, Liu J, He J (2007) The validation and verification of wscdl. In: APSEC ’07: proceedings of the 14th Asia-Pacific software engineering conference. IEEE Computer Society, Washington, DC, USA, pp 81–88

  13. Pu G, Wang Z, Zhou L, Zhang H, Wang T, Yang C, Peng L, Sun M (2009) Static validation of WS-CDL documents. Simul Model Pract Theory 17(8): 1367–1377

    Article  Google Scholar 

  14. Pu G, Zhao Y, Wang Z, Feng L, Zhu H, He J (2009) A denotational model for web services choreography. In: ICDCIT ’08: proceedings of the 5th international conference on distributed computing and internet technology. Springer, Berlin, Heidelberg, pp 1–12

  15. Qiu Z, Zhao X, Cai C, Yang H (2007) Towards the theoretical foundation of choreography. In: WWW ’07: proceedings of the 16th international conference on world wide web. ACM, New York, NY, USA, 973–982

  16. Soap 1.2. http://www.w3.org/TR/soap12-part1/

  17. Spss, statistical product and service solutions. http://www.spss.com/

  18. Tasharofi S, Sirjani M (2009) Formal modeling and conformance validation for WS-CDL using reo and casm. Electron Notes Theor Comput Sci 229(2): 155–174

    Article  Google Scholar 

  19. Web services choreography description language, version 1.0. http://www.w3.org/TR/ws-cdl-10/

  20. Xiao H, Wang Z, Pu G, Gu B (2010) Constraint checking for xml-based language specification by sat solver vol 0. IEEE Computer Society, Los Alamitos, pp 26–27

    Google Scholar 

  21. Yang H, Zhao X, Qiu Z, Pu G, Wang S (2006) A formal model forweb service choreography description language (WS-CDL). In: ICWS ’06: proceedings of the IEEE international conference on web services. IEEE Computer Society, Washington, DC, USA, pp 893–894

  22. Zhou L, Ping J, Xiao H, Wang Z, Pu G, Ding Z (2010) Automatically testing web services choreography with assertions. In: ICFEM ’10: proceedings of the 11th international conference on formal engineering methods. Springer, Berlin, Heidelberg

  23. Zhou L, Xiao H, Ping J, Pu G, Zhang H (2010) Simulation and validation of web services choreography. In: SOCA ’09: proceedings of the 2009 IEEE international conference on service-oriented computing and applications, pp 1–8

  24. Zhou L, Zhang H, Wang T, Yang C, Wang Z, Sun M, Pu G (2008) Static check of WS-CDL documents. In: SOSE ’08: proceedings of the 2008 IEEE international symposium on service-oriented system engineering. IEEE Computer Society, Washington, DC, USA, pp 142–147

Download references

Author information

Authors and Affiliations

  1. Shanghai Key Laboratory of Trustworthy Computing, Software Engineering Institute, East China Normal University, Shanghai, People’s Republic of China

    Zheng Wang, Lei Zhou, Yongxin Zhao, Jing Ping, Hao Xiao, Geguang Pu & Huibiao Zhu

Authors
  1. Zheng Wang
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Lei Zhou
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Yongxin Zhao
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Jing Ping
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Hao Xiao
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Geguang Pu
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. Huibiao Zhu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Geguang Pu.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Wang, Z., Zhou, L., Zhao, Y. et al. Web services choreography validation. SOCA 4, 291–305 (2010). https://doi.org/10.1007/s11761-010-0072-5

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11761-010-0072-5

Keywords

Search

Navigation