A Petri Net-based Approach for Automated Goal-Driven Web Service Composition

Simulation

Volumn 83, Issue 1, 2007, Pages 33-63

  Zhovtobryukh, Dmytro ^a  

^a UNIVERSITY OF JYVÄSKYLÄ   (Finland)

Author keywords

modeling; Petri nets; service algebra; Service composition; Web Services

Indexed keywords

ALGEBRA; INFORMATION SERVICES; MATHEMATICAL MODELS; PETRI NETS; PROGRAMMING THEORY;

SERVICE ALGEBRA; SERVICE COMPOSITION;

WEB SERVICES;

EID: 34250313208     PISSN: 00375497     EISSN: None     Source Type: Journal    
DOI: 10.1177/0037549707079226     Document Type: Article

References (43)

1. Papazoglou, M.P. and D. Georgakopoulos. 2003. Service-oriented computing. Communications of the ACM 46(10):25—28.
2. Papazoglou, M.P. 2003. Service-oriented computing: concepts, characteristics and directions. In Proceedings of the Fourth International Conference on Web Information Systems Engineering (WISE'03), pp. 3—12.
3. MacKenzie, C.M., K. Laskey, F. McCabe, P.F. Brown, and R. Metz. 2006. OASIS Reference Model for Service Oriented Architecture V 1.0, OASIS Official Committee Specification, approved August 2006, http://www.oasis-open.org/committees/download.php/19679/soa-rm-cs.pdf, (Accessed: December 6 2006).
4. Nickull, D. 2005. Service Oriented Architecture, White Paper, San Jose: Adobe Systems, Inc.
5. Booth, D., H. Haas, F. McCabe, E. Newcomer, M. Champion, C. Ferris, C., and D. Orchard. 2004. Web Service Architecture, W3C Working Group Note. http://www.w3.org/TR/2004/NOTEws-arch-20040211/, (Accessed: December 13 2006).
6. Sun Microsystems. 1994— 2007. Java 2 Platform, Enterprise Edition (J2EE), http://java.sun.com/j2ee/.
7. Microsoft. 2007‥ NET Framework, www.microsoft.com/net/.
8. Christinsen E., F. Curbera, G. Meredith, and S. Weerawarana. 2001. Web Service Definition Language (WSDL) Version 1.1, W3C Note. http://www.w3.org/TR/wsdl, (Accessed: December 6 2006).
9. Oasis, 2006. OASIS ebXML Collaboration Protocol Profile and Agreement (CPPA), http://www.oasis-open.org/committees/download.php/204/ebcpp-2.0.pdf, (Accessed: December 6 2006).
10. Mitra, N. 2003. SOAP Version 1.2 Part 0/1/2: Primer, Messaging Framework, Adjuncts, W3C Recommendation. http://www.w3.org/TR/soap12-part0/, (Accessed: December 6 2006).
11. Clement, L., A. Hately, C. von Riegen, C., and T. Rogers. 2005. UDDI Version 3.0.2 Specification, OASIS TC Specification. http://www.oasis-open.org/committees/uddi-spec/doc/spec/v3/uddi-v3.0.2-20041019.htm, (Accessed: December 12 2006 ).
12. Thatte, S. 2001. XLANG: Web Services for Business Process Design, Microsoft. http://www.gotdotnet.com/team/xml_wsspecs/xlang-c/default.htm, (last retrieved on 13.12.2006).
13. Leymann, F. 2001. “Web Services Flow Language (WSFL 1.0)”, Stuttgart: IBM, 2001.
14. Andrews, T., F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weerawarana. 2003. Business Process Execution Language for Web Services (BPEL4WS) Version 1.1, Technical Report, BEA Systems, Microsoft, SAP AG and Siebel Systems. http://ifr.sap.com/bpel4ws/BPEL%20V1-1%20May%205%202003%20Final.pdf (Accessed: December 13 2006).
15. Alves, A., A. Arkin, S. Askary, B. Bloch, F. Curbera, Y. Goland, N. Kartha, C.K. Liu, D. König, V. Mehta, S. Thatte, D. van der Rijn, P. Yendluri, and A. Yiu. 2006. Web Services Business Process Execution Language 2.0, OASIS TC Specification. http://www.oasis-open.org/apps/org/workgroup/wsbpel/ (Accessed: December 13 2006).
16. Arkin, A. 2002. Business Process Modeling Language (BPML). http://www.bpmi.org/.
17. Arkin, A., S. Askary, S. Fordin, W. Jekeli, K. Kawaguchi, D. Orchard, S. Pogliani, K. Riemer, S. Struble, P. Takacsi-Nagy, I. Trickovic, and S. Zimek. 2002. Web Service Choreography Interface (WSCI) 1.0, W3C Note. http://www.w3.org/TR/wsci/ (Accessed: December 13 2006).
18. Kavantzas, N., D. Burdett, G. Ritzinger, T. Fletcher, Y. Lafon, and C. Barreto. 2005. Web Service Choreography Description Language (WS-CDL) Version 1.0, W3C Candidate Recommendation. http://www.w3.org/TR/ws-cdl-10/, (Accessed: December 13 2006).
19. Yushi, C., L.E. Wah, and D.K. Limbu. 2004. Web Services Composition — An Overview of Standards, ITSC, Synthesis Journal: 137— 150.
20. Peterson, J.L. 1981. Petri Net Theory and the Modeling of Systems, Englewood Cliffs: Prentice-Hall, Inc.
21. Reisig, W. 1985. Petri Nets: An Introduction, EATCS Monographs on Theoretical Computer Science, Vol. 4, Berlin: Springer-Verlag.
22. Hamadi, R., and B. Benatallah. 2003. A Petri net-based model for Web service Composition. In Proceedings of 14th Australian Database Conference, pp. 191—200.
23. Murata, T. 1989. Petri nets: properties, analysis and applications. Proceedings of the IEEE, 77(4):541—580.
24. Milner, R. 1993. The Polyadic π -calculus: a tutorial. In Logic and Algebra of Specification, Berlin: Springer-Verlag, pp. 203—246.
25. Milanovic, N., and M. Malek. 2004. Current solutions for Web service composition. IEEE Internet Computing 8(6):51—59.
26. Kuropka, D., and H. Meyer 2005. Survey on Service Composition, Technical Report of the Hasso-Plattner-Institute, 10 (2005), ISBN 3-937786-78-3, ISSN 1613-5652, http://kuropka.net/files/HPI_10_Serv-Comp-Survey.pdf, (Accessed: December 13 2006).
27. McIlraith, S., T.C. Son, and H. Zeng. 2001. Semantic web services. IEEE Intelligent Systems 16(2):46—53.
28. McGuinness, D.L. and F. van Harmelen. 2004. OWL Web Ontology Language Overview, W3C Recommendation. http://www.w3.org/TR/owl-features/, (Accessed: December 6 2006).
29. de Brujin, J., H. Lausen, A. Polleres, and D. Fensel. 2006. The web service modeling language WSML: an overview. In Proceedings of the 3rd European Semantic Web Conference (ESWC 2006) Budva, Montenegro: Springer, LNCS 4011.
30. Martin, D., M. Burstein, J. Hobbs, O. Lassila, D. McDermott, S. McIlraith, S. Narayanan, M. Paolucci, B. Parsia, T. Payne, E. Sirin, N. Srinivasan, and K. Sycara. 2004. OWL-S: Semantic Markup for Web Services, W3C Member Submission. http://www.w3.org/Submission/OWL-S/, (Accessed: December 6 2006).
31. Ankolenkar, A., M. Burstein, J.R. Hobbs, O. Lassila, D. Martin, D. McDermott, S.A. McIlraith, S. Narayanan, M. Paolucci, T. Payne, and K. Sycara. 2002. DAML-S: web service description for the semantic web. In Proceedings of the 1st International Semantic Web Conference (ISWC), Sardinia: Springer Verlag, pp. 348—363.
32. Roman, D., U. Keller, H. Lausen, J. de Bruijn, R. Lara, M. Stollberg, A. Polleres, C. Feier, C. Bussler, and D. Fensel. 2005. Web service modeling ontology. Applied Ontology 1(1):77—106.
33. Carman, M., L. Serafini, and P. Traverso. 2003. Web service composition as planning. In Proceedings of ICAPS 2003 Workshop on Planning for Web Services.
34. Narayanan, S. and S. McIlraith. 2002. Simulation, verification and automated composition of web services. In Proceedings of the 11th International World Wide Web Conference, pp. 77—88.
35. Sirin, E., B. Parsia, D. Wu, J. Hendler, and D. Nau. 2004. HTN planning for web service composition using SHOP2. Journal of Web Semantics 1(4):377—396.
36. Medjahed, B., A. Bouguettaya, and A.K. Elmagarmid. 2003. Composing web services on the semantic web. The VLDB Journal 12(4):333—351.
37. Ponnenkanti, S.R., and A. Fox. 2002. SWORD: a developer toolkit for web service composition. In Proceedings of the 11th World Wide Web Conference.
38. Rao, J., and X. Su. 2004. Toward the composition of semantic web services. In Proceedings of GCC 2003, LNCS 3033, Shanghai: Springer-Verlag, pp. 760—767.
39. Lin, M., H. Guo, and J. Yin. 2005. Goal description language for semantic web service automatic composition. In Proceedings of the 2005 Symposium on Applications and the Internet (SAINT'05), Vol. 00, Trento: IEEE Computer Society Press, pp. 190—196.
40. Rao, J., and X. Su. 2004. A survey of automated web service composition methods. In Proceedings of the First International Workshop on Semantic Web Services and Web Process Composition, SWSWPC 2004.
41. Koehler, J., and B. Srivastava. 2003. Web service composition — current solutions and open problems. In Proceedings of the ICAPS 2003 Workshop on Planning for Web Services, pp. 28—35.
42. Kaykova, O., O. Khriyenko, V. Terziyan, and A. Zharko. 2005. RgbDF: resource goal and behaviour description framework. In Proceedings of the 1st IFIP WG12.5 Working Conference on Industrial Applications of Semantic Web, pp. 83—99.
43. Savolainen, V., and V. Terziyan. 1999. Metapetrinets for controlling complex and dynamic processes. Information and Management Sciences 10(1):13—32.