Approaching web service coordination and composition by means of petri nets. The case of the nets-within-nets paradigm

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3826 LNCS, Issue , 2005, Pages 185-197

  Alvarez P ^a   Banares J A ^a   Ezpeleta, J ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

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

Indexed keywords

DIGITAL COMMUNICATION SYSTEMS; INTERNET; MATHEMATICAL MODELS; NETWORK PROTOCOLS; PETRI NETS; WORLD WIDE WEB;

EXTERNAL PEERS; FORMAL METHODS FOR SERVICE-ORIENTED ARCHITECTURES; LINDA COMMUNICATION MODELS; NETS WITHIN NETS PARADIGM; PETRI NET MODELS; SERVICE COMPOSITION AND COORDINATIONS; WEB SERVICE COORDINATIONS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 33744950141     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11596141_15     Document Type: Conference Paper

References (22)

1. Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services. Concepts, Architectures and Applications. Springer Verlag (2004)
2. A. Arkin et al: Web Service Choreography Interface (WSCI). Technical report, World Wide Web Consortium (W3C) (2002)
3. N. Kavantzas et al.: Web Service Choreography Description Language (WS-CDL). Technical report, World Wide Web Consortium (W3C) (2004)
4. D. Martin et al.: Bringing Semantics to Web Services: The OWL-S Approach. Number 3387 in Lecture Notes in Computer Science. In: First International Workshop, SWSWPC 2004. Revised Selected Papers. Springer Verlag (2004) 26-42
5. T. Andrews et al.: Business Process Execution Language for Web Services (BPEL4WS). Technical report, BEA Systems & IBM & Microsoft & SAP AG & Siebel Systems (2003)
6. Murata, T.: Petri nets: Properties, analysis and applications. In: Proceedings of IEEE. Volume 77. (1989) 541-580
7. Aalst, W., Hee, K.: Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge, MA, USA (2004)
8. M. Mecella, F.P. Presicce, B.P.: Modeling E-Service Orchestration Through Petri Nets. Number 2444 in Lecture Notes in Computer Science. In: Proceedings of the 3rd VLDB International Workshop on Technologies for e-Services (VLDB-TES 2002). Springer Verlag (2002) 38-47
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, Australia, Australian Computer Society, Inc. (2003) 191-200
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'04), Advanced Simulation Technology Conference 2004. (2004) 141-148
11. Hull, R., Benedikt, M., Christophides, V., Su, J.: E-services: a look behind the curtain. In: PODS '03: Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, New York, NY, USA, ACM Press (2003) 1-14
12. Pu, X., Bultan, T., Su, J.: Analysis of interacting BPEL Web services. In: WWW '04: Proceedings of the 13th international conference on World Wide Web, New York, NY, USA, ACM Press (2004) 621-630
13. Fournet, C., Gonthier, G., Lévy, J.J., Maranget, L., Rémy, D.: A calculus of mobile agent. In: Proc. of CONCUR'96. Volume 1119 of Lecture Notes in Computer Science. Springer-Verlag, Berlin (1996) 406-42
14. Carriero, N., Gelernter, D.: Linda in context. Communications of the ACM 32 (1989) 444-458
15. Moldt, D., Offermann, S., Ortmann, J.: Proposal for Petri Net Based Web Service Application Modeling. Number 3140 in Lecture Notes in Computer Science. In: Web Engineering: 4th International Conference, ICWE 2004. Springer Verlag (2004) 93-97
16. Moldt, D., Ortmann, J.: A Conceptual and Practical Framework for Web-based Processes. Unpublished manuscript (2004)
17. Peltz, C.: Web Service Orchestration and Choreography. A look at WSCI and BPEL4WS. Web Services Journal (2003) 1-5
18. Álvarez, P., Bañares, J.A., Muro-Medrano, P.: An Architectural Pattern to Extend the Interaction Model between Web-Services: The Location-Based Service Context. Number 2910 in Lecture Notes in Computer Science. In: First International Conference on Service Oriented Computing -ICSOC 2003. Springer Verlag (2003) 271-286
19. Kummer, O.: Introduction to Petri Nets and Reference Nets. Sozionik Aktuell (1)
20. Valk, R.: Petri nets as token objects - an introduction to elementary object nets. Lecture Notes in Computer Science: 19th Int. Conf. on Application and Theory of Petri Nets, ICATPN'98, Lisbon, Portugal, June 1998 1420 (1998) 1-25
21. Jensen, K.: Colored Petri nets: A high level language for system design and analysis. In Rozenberg, G., ed.: Advances in Petri Nets 1990. Volume 483 of Lecture Notes in Computer Science. Springer Verlag, Berlin (1991) 342-416
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 (2000) 87-89