Analyzing Web Service Choreography Specifications Using Colored Petri Nets

  • Enrique Caliz
  • Karthikeyan Umapathy
  • Arturo J. Sánchez-Ruíz
  • Sherif A. Elfayoumy
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6629)


Enacting cross-organizational business processes requires critical support for long-running and complex interactions involving multiple participants. The Web Services Choreography Description Language (WS-CDL) aims at facilitating just that, by providing means to describe correlated message exchanges among services geared towards achieving a business goal. While WS-CDL specifications are machine-readable documents, they do not necessarily allow developers to determine—by direct inspection—whetheror not the patterns of message exchanges they stipulate do indeed describethe intended service behavior. In this research paper, we show how Colored Petri Nets (CPN) can be used to analyze WS-CDL documents in order to identify faults in the specification. We have developed a research prototype that assists in the creation of a CPN model from a given WS-CDL document. The CPN model generated is then analyzed using the formal verification environment and simulation capability provided by CPN-Tools. We provide a discussion on the analysis of an example WS-CDL document using this approach, as well as on the advantages and limitations of using CPN for analyzing WS-CDL specifications.


Web service WS-CDL Service Choreography Colored Petri Nets ChorToNet Analyzing Specifications 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Hohpe, G.: Let’s Have a Conversation. IEEE Internet Computing 11, 78–81 (2007)CrossRefGoogle Scholar
  2. 2.
    Hanson, J.E., Nandi, P., Kumaran, S.: Conversation support for Business Process Integration. In: IEEE International Enterprise Distributed Object Computing Conference (EDOC), pp. 65–74. IEEE Computer Society, Los Alamitos (2002)Google Scholar
  3. 3.
    Umapathy, K.: From Service Conversation Models to WS-CDL. In: Americas Conference on Information Systems (AMCIS). Association for Information Systems (AIS), Atlanta (2009)Google Scholar
  4. 4.
  5. 5.
    Pi4 Technologies Foundation,
  6. 6.
    Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Springer, Heidelberg (1995)zbMATHGoogle Scholar
  7. 7.
    CPN Group, University of Aarhus,
  8. 8.
  9. 9.
    Fredlund, L.-Å.: Implementing WS-CDL. In: Spanish Workshop on Web Technologies. University of Santiago de Compostela, Santiago de Compostela, Spain (2006)Google Scholar
  10. 10.
    Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems. International Journal on Software Tools for Technology Transfer 9, 213–254 (2007)CrossRefGoogle Scholar
  11. 11.
    Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice Hall PTR, Upper Saddle River (1981)zbMATHGoogle Scholar
  12. 12.
    Milner, R., Tofte, M., Harper, R., MacQueen, D.: The Definition of Standard ML, Revised edition. The MIT Press, Cambridge (1997)Google Scholar
  13. 13.
    Liu, R., Bhattacharya, K., Wu, F.: Modeling Business Contexture and Behavior Using Business Artifacts. In: Krogstie, J., Opdahl, A., Sindre, G. (eds.) CAiSE 2007 and WES 2007. LNCS, vol. 4495, pp. 324–339. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  14. 14.
    Ha, S., Suh, H.-W.: A timed colored Petri nets modeling for dynamic workflow in product development process. Computers in Industry 59, 193–209 (2008)CrossRefGoogle Scholar
  15. 15.
    Cost, R., Chen, Y., Finin, T., Labrou, Y., Peng, Y.: Using Colored Petri Nets for Conversation Modeling. In: Dignum, F., Greaves, M. (eds.) Issues in Agent Communication. LNCS, vol. 1916, pp. 178–192. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  16. 16.
    Denaro, G., Pezzè, M.: Petri Nets and Software Engineering. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) Lectures on Concurrency and Petri Nets. LNCS, vol. 3098, pp. 439–466. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  17. 17.
    Zhang, P., Li, B., Muccini, H., Zhou, Y., Sun, M.: Data-Enriched Modeling and Verification of WS-CDL Based on UML Models. In: IEEE International Conference on Web Services, pp. 752–753. IEEE, Los Alamitos (2008)Google Scholar
  18. 18.
    Xiangpeng, Z., Hongli, Y., Chao, C., Xiwu, D., Zongyan, Q.: Verification of WS-CDL Choreography. In: Asian Working Conference on Verified Software. UNU-IIST, Macao SAR, China (2006)Google Scholar
  19. 19.
    Pu, G., Shi, J., Wang, Z., Jin, L., Liu, J., He, J.: The Validation and Verification of WSCDL. In: Asia-Pacific Software Engineering Conference, pp. 81–88. IEEE, Los Alamitos (2007)Google Scholar
  20. 20.
    Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-Based Analysis of Obligations in Web Service Choreography. In: International Conference on Internet and Web Applications and Services. IEEE Computer Society, Los Alamitos (2006)Google Scholar
  21. 21.
    Decker, G., Zaha, J., Dumas, M.: Execution Semantics for Service Choreographies. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 163–177. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  22. 22.
    Díaz, G., Cambronero, M.E., Pardo, J.J., Valero, V., Cuartero, F.: Model Checking Techniques applied to the design of Web Services. CLEI Electronic Journal 10, 2–14 (2007)Google Scholar
  23. 23.
    Yang, Y., Tan, Q., Xiao, Y., Yu, J., Liu, F.: Exploiting hierarchical CP-nets to increase the reliability of Web services workflow. In: International Symposium on Applications and the Internet (SAINT), p. 7. IEEE, Los Alamitos (2006)Google Scholar
  24. 24.
    Li, Y., Ye, L., Dague, P., Melliti, T.: A Decentralized Model-Based Diagnosis for BPEL Services. In: IEEE International Conference on Tools with Artificial Intelligence, pp. 609–616. IEEE Computer Society, Los Alamitos (2009)Google Scholar
  25. 25.
    Huang, Y., Xu, C., Wang, H., Yunn, X., Zhu, J., Zhu, C.: Formalizing Web Service Choreography Interface. In: International Conference on Advanced Information Networking and Applications Workshops, pp. 576–581. IEEE Computer Society, Los Alamitos (2007)Google Scholar
  26. 26.
    Deng, X., Lin, Z., Cheng, W., Xiao, R., Li, L., Fang, L.: Modeling and verifying web service composition using colored petri nets based on WSCI. In: IEEE International Conference on Industrial Engineering and Engineering Management, pp. 1863–1867. IEEE, Los Alamitos (2007)Google Scholar
  27. 27.

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Enrique Caliz
    • 1
  • Karthikeyan Umapathy
    • 1
  • Arturo J. Sánchez-Ruíz
    • 1
  • Sherif A. Elfayoumy
    • 1
  1. 1.School of ComputingUniversity of North FloridaJacksonvilleUSA

Personalised recommendations