Abstract
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.
This work has been partially supported by the Spanish Ministry of Education and Science through the project TIC2003-09365-C02-01 from the National Plan for Scientific Research, Development and Technology Innovation.
Chapter PDF
References
Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services. In: Concepts, Architectures and Applications. Springer, Heidelberg (2004)
Arkin, A., et al.: Web Service Choreography Interface (WSCI). Technical report, World Wide Web Consortium, W3C (2002)
Kavantzas, N., et al.: Web Service Choreography Description Language (WS-CDL). Technical report, World Wide Web Consortium, W3C (2004)
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)
Andrews, T., et al.: Business Process Execution Language for Web Services (BPEL4WS). Technical report, BEA Systems & IBM & Microsoft & SAP AG & Siebel Systems (2003)
Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of IEEE 77, 541–580 (1989)
Aalst, W., Hee, K.: Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge (2004)
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)
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)
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)
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)
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)
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)
Carriero, N., Gelernter, D.: Linda in context. Communications of the ACM 32, 444–458 (1989)
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)
Moldt, D., Ortmann, J.: A Conceptual and Practical Framework for Web-based Processes. Unpublished manuscript (2004)
Peltz, C.: Web Service Orchestration and Choreography. A look at WSCI and BPEL4WS. Web Services Journal, 1–5 (2003)
Á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)
Kummer, O.: Introduction to Petri Nets and Reference Nets. Sozionik Aktuell (1)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Álvarez, P., Bañares, J.A., Ezpeleta, J. (2005). Approaching Web Service Coordination and Composition by Means of Petri Nets. The Case of the Nets-Within-Nets Paradigm. In: Benatallah, B., Casati, F., Traverso, P. (eds) Service-Oriented Computing - ICSOC 2005. ICSOC 2005. Lecture Notes in Computer Science, vol 3826. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11596141_15
Download citation
DOI: https://doi.org/10.1007/11596141_15
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-30817-1
Online ISBN: 978-3-540-32294-8
eBook Packages: Computer ScienceComputer Science (R0)