Approaching Web Service Coordination and Composition by Means of Petri Nets. The Case of the Nets-Within-Nets Paradigm

  • P. Álvarez
  • J. A. Bañares
  • J. Ezpeleta
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3826)


Web service coordination and composition have become a central topic for the development of Internet-based distributed computing. A wide variety of different standards have been defined to deal with the composition of Web services (usually represented as workflows) and the execution of coordination protocols. On the other hand, some relevant research proposals have already pointed to the use of the same formalism for both aspects, being Petri nets one of the adopted formalisms. In this work we present a case study showing how the adoption of the Nets-within-Nets paradigm helps in the modelling of complex coordination protocols and workflows. We first propose a Petri net model for a Web service peer able to run any workflow and to dynamically interpret the coordination required protocols. The execution of these protocols allows the peer to integrate functionalities offered by external peers. The Linda communication model has been used to support the integration among peers.


Service Composition and Coordination Formal Methods for Service-Oriented Architectures Petri nets Nets-within-Nets paradigm 


  1. 1.
    Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services. In: Concepts, Architectures and Applications. Springer, Heidelberg (2004)Google Scholar
  2. 2.
    Arkin, A., et al.: Web Service Choreography Interface (WSCI). Technical report, World Wide Web Consortium, W3C (2002)Google Scholar
  3. 3.
    Kavantzas, N., et al.: Web Service Choreography Description Language (WS-CDL). Technical report, World Wide Web Consortium, W3C (2004)Google Scholar
  4. 4.
    Martin, D., et al.: Bringing semantics to web services: The OWL-S approach. In: Cardoso, J., Sheth, A.P. (eds.) SWSWPC 2004. LNCS, vol. 3387, pp. 26–42. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  5. 5.
    Andrews, T., et al.: Business Process Execution Language for Web Services (BPEL4WS). Technical report, BEA Systems & IBM & Microsoft & SAP AG & Siebel Systems (2003)Google Scholar
  6. 6.
    Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of IEEE 77, 541–580 (1989)CrossRefGoogle Scholar
  7. 7.
    Aalst, W., Hee, K.: Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge (2004)Google Scholar
  8. 8.
    Mecella, M., Parisi Presicce, F., Pernici, B.: Modeling E-service orchestration through petri nets. In: Buchmann, A., Casati, F., Fiege, L., Hsu, M.-C., Shan, M.-C. (eds.) TES 2002. LNCS, vol. 2444, pp. 38–47. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  9. 9.
    Hamadi, R., Benatallah, B.: A Petri net-based model for Web service composition. In: CRPITS’17: Proceedings of the Fourteenth Australasian database conference on Database technologies 2003, Darlinghurst, Australia, pp. 191–200. Australian Computer Society, Inc., Australia (2003)Google Scholar
  10. 10.
    Yi, X., Kochut, K.J.: Process Composition of Web Services with Complex Conversation Protocols: a Colored Petri Nets Based Approach. In: Proceedings of the Design, Analysis, and Simulation of Distributed Systems Symposium (DASD 2004), Advanced Simulation Technology Conference 2004, pp. 141–148 (2004)Google Scholar
  11. 11.
    Hull, R., Benedikt, M., Christophides, V., Su, J.: E-services: a look behind the curtain. In: PODS 2003: Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, pp. 1–14. ACM Press, New York (2003)CrossRefGoogle Scholar
  12. 12.
    Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL Web services. In: WWW 2004: Proceedings of the 13th international conference on World Wide Web, pp. 621–630. ACM Press, New York (2004)CrossRefGoogle Scholar
  13. 13.
    Fournet, C., Gonthier, G., Lévy, J.J., Maranget, L., Rémy, D.: A calculus of mobile agent. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol. 1119, pp. 406–442. Springer, Heidelberg (1996)Google Scholar
  14. 14.
    Carriero, N., Gelernter, D.: Linda in context. Communications of the ACM 32, 444–458 (1989)CrossRefGoogle Scholar
  15. 15.
    Moldt, D., Offermann, S., Ortmann, J.: Proposal for Petri Net Based Web Service Application Modeling. In: ICWE 2004. LNCS, vol. 3140, pp. 93–97. Springer, Heidelberg (2004)Google Scholar
  16. 16.
    Moldt, D., Ortmann, J.: A Conceptual and Practical Framework for Web-based Processes. Unpublished manuscript (2004)Google Scholar
  17. 17.
    Peltz, C.: Web Service Orchestration and Choreography. A look at WSCI and BPEL4WS. Web Services Journal, 1–5 (2003)Google Scholar
  18. 18.
    Álvarez, P., Bañares, J.A., Muro-Medrano, P.R.: An architectural pattern to extend the interaction model between web-services: The location-based service context. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol. 2910, pp. 271–286. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  19. 19.
    Kummer, O.: Introduction to Petri Nets and Reference Nets. Sozionik Aktuell (1)Google Scholar
  20. 20.
    Valk, R.: Petri nets as token objects: An introduction to elementary object nets. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol. 1420, pp. 1–25. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  21. 21.
    Jensen, K.: Colored Petri nets: A high level language for system design and analysis. In: Rozenberg, G. (ed.) APN 1990. LNCS, vol. 483, pp. 342–416. Springer, Heidelberg (1991)Google Scholar
  22. 22.
    Kummer, O., Wienberg, F.: Renew - the reference net workshop. In: Tool Demonstrations, 21st International Conference on Application and Theory of Petri Nets, Computer Science Department, Aarhus University, Aarhus, Denmark, pp. 87–89 (2000)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • P. Álvarez
    • 1
  • J. A. Bañares
    • 1
  • J. Ezpeleta
    • 1
  1. 1.Department of Computer Science and Systems Engineering, Instituto de Investigación en Ingeniería de Aragón (I3A)University of ZaragozaZaragozaSpain

Personalised recommendations