A petri net-based method for compatibility analysis and composition of web services in business process execution language

IEEE Transactions on Automation Science and Engineering

Volumn 6, Issue 1, 2009, Pages 94-106

  Tan, Wei ^a   Fan, Yushun ^a   Zhou, Mengchu ^b,c  

^a TSINGHUA UNIVERSITY   (China)

^b NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

^c XIDIAN UNIVERSITY   (China)

Author keywords

Business process execution language (BPEL); Mediation; Petri nets; Web service composition

Indexed keywords

ARCHITECTURAL DESIGN; GRAPH THEORY; INFORMATION SERVICES; LINGUISTICS; MARINE BIOLOGY; PETRI NETS; SILVER; WORLD WIDE WEB;

AUTOMATIC COMPOSITIONS; BUSINESS PROCESS EXECUTION LANGUAGE (BPEL); BUSINESS PROCESS EXECUTION LANGUAGES; COMPATIBILITY ANALYSIS; GAINING MOMENTUMS; MEDIATION; PETRI NET; RESEARCH DIRECTIONS; SERVICE-ORIENTED ARCHITECTURES; SERVICE-WORKFLOW; WEB SERVICE COMPOSITION;

WEB SERVICES;

EID: 58149495956     PISSN: 15455955     EISSN: None     Source Type: Journal    
DOI: 10.1109/TASE.2008.916747     Document Type: Article

References (42)

1. S. Staab, W. van der Aalst, V. R. Benjamins, A. Sheth, J. A. Miller, C. Bussler, A. Maedehe, D. Fensel, and D. Gannon, "Web services: Been there, done that?," IEEE Intell. Syst., vol. 18, pp. 72-85, 2003.
2. OASIS, "Web Services Business Process Execution Language Version 2.0," 2007. [Online]. Available: http://docs.oasis-open.Org/wsbpel/2.0/ CS01/wsbpel-v2.0-CS01.html
3. W3C, "Web Service Choreography Interface (WSCI) 1.0," 2002. [Online]. Available: http://www.w3.org/TR/wsci/
4. W3C, "Web Services Choreography Description Language Version 1.0." 2004. [Online]. Available: http://www.w3.org/TR/2004/WD-wsr- cdl-10-20041217
5. W. M. P. van der Aalst, "The application of Petri nets to workflow management,"J. Circuits, Syst. Comput., vol. 8, pp. 21-66, 1998.
6. R. Aggarwal, K. Verma, J. Miller, and W. Milnor, "Constraint driven web service composition in METEOR-S," in Proc. IEEE Int. Conf. Services Comput., 2004, pp. 23-30.
7. M. Carman, L. Serafini, and P. Traverso, "Web service composition as planning," in Proc. ICAPS 2003 Workshop on Planning for Web Services. 2003.
8. N. Milanovic and M. Malek, "Current solutions for web service composition," IEEE Internet Comput., vol. 8, pp. 51-59, 2004.
9. B. Srivastava and J. Koehler, "Web service composition-current solutions and open problems," in Proc. ICAPS 2003 Workshop on Planning for Web Services, 2003, pp. 28-35.
10. R. Hull and J. Su, "Tools for composite web services: A short overview," ACM SIGMOD Record, vol. 34, pp. 86-95, 2005.
11. B. Benatallah, F. Casati, D. Grigori, H. Motahari-Nezhad, and F. Toumani, "Developing adapters for web services integration," in Proc. Int. Conf. Adv. Inf. Syst. Eng. (CAiSE), 2005.
12. A. Brogi and R. Popescu, "Automated generation of BPEL adapters," in Proc. Int. Conf. Seivice Oriented Comput. (ICSOC), Chicago, IL, 2006.
13. D. Fensel and C. Bussler, "The web service modeling framework WSMF," Electron. Commerce Res. Appl., vol. 1, pp. 113-137, 2002.
14. W. Kongdenfha, R. Saint-Paul, B. Benatallah, and F. Casati, "An aspect-oriented framework for service adaptation," in Proc. Int. Conf. Service Oriented Compu. (ICSOC), Chicago, IL, 2006.
15. D. M. Yellin and R. E. Strom, "Protocol specifications and component adaptors," ACM Trans. Programming Languages and Syst., vol. 19, pp. 292-333, Mar. 1997.
16. eBay, "Third Party Checkout," 2006. [Online], Available: http:// developer.ebay.com/DevZone/XML/docs/WebHelp/Checkout- Third-Party-Checkout.html
17. K. Jensen, Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. London, U.K.: Springer-Verlag, 1995, vol. 2.
18. C. Girault and R. Valk, Petri Nets for Systems Engineering. Berlin, Germany: Springer-Verlag, 2003.
19. A. Martens, "On compatibility of web services," Petri Net Newsletter, vol. 65, pp. 12-20, Oct. 2003.
20. J. Cardoso and A. Sheth, "Semantic e-workflow composition," J. Intell. Inf. Syst., vol. 21, pp. 191-225, Nov. 2003.
21. M. Szomszor, T. R. Payne, and L. Moreau, "Automated syntactic mediation for web service integration," in Proc. Int. Conf. Web Services, 2006. pp. 127-136.
22. B. Hruz and M. C. Zhou, Modeling and Control of Discrete Event Dynamic Systems. London, U.K.: Springer.
23. "IBM Websphere Integration Developer." [Online], Available: http://www-306.ibm.com/software/integration/wid/
24. "IBM Websphere Process Server." [Online]. Available: http://www-306.ibm.com/software/integration/wps/
25. W3C, "OWL-S: Semantic Markup for Web Services," 2004. [Online]. Available: www.w3.org/Submission/OWL-S/
26. S. Deng, Z. Wu, M. Zhou. Y. Li, and I. Wu, "Modeling service compatibility with pi-calculus for choreography," in Proc. 25th Int. Conf. Conceptual Modeling (ER2006), Tucson, AZ, 2006, pp. 26-39.
27. W. M. P. van der Aalst, "Loosely coupled interorganizational workflows: Modeling and analyzing workflows crossing organizational boundaries," Inf. Manage., vol. 37, pp. 67-75, 2000.
28. F. Casati and M. C. Shan, "Dynamic and adaptive composition of e-ser-vices," Inf. Syst., vol. 26, pp. 143-163, 2001.
29. N. Lohmann, P. Massuthe, C. Stahl, and D. Weinberg, "Analyzing interacting BPEL processes," in Proc. Int. Conf. Business Process Management, 2006, pp. 17-32.
30. C. Ouyang, E. Verbeek, W. M. P. V. D. Aalst, S. Breutel, M. Dumas,and A. H. M. t. Hofstede, "Formal semantics and analysis of control flow in WS-BPEL," Queensland Univ. Technol., Brisbane, Australia, Tech. Rep. 2174, 2006.
31. S. Hinz, K. Schmidt, and C. Stahl, "Transforming BPEL to Petri nets,"in Proc. Int. Conf. Business Process Manage., 2005, pp. 220-235.
32. A. Martens, "Analyzing web service based business processes," in Proc. 8th Int. Conf. Fundamental Approaches to Softw. Eng., 2005, pp. 19-33.
33. A. Martens, S. Moser, A. Gerhardt, and K. Funk, "Analyzing compatibility of BPEL processes,"in Proc. Int. Conf. Internet and Web Applications and Services/Advanced Int. Conf. Telecommun. (AICT-ICIW'06). 2006, pp. 147-147.
34. R. Hamadi and B. Benatallah, "A petri net-based model for web service composition," in Proc. 14th Australasian Database Conf. (ADC2003), 2003, pp. 191-200.
35. K. Czarnecki and U. Eisenecker, Generative Programming: Methods, Tools, and Applications. Reading, MA: Addison-Wesley, 2000.
36. H. R. M. Nezhad, B. Benatallah, A. Martens, F. Curbera, and F. Casati, "SemiAutomated adaptation of service interactions," in Proc. 16th Int. World Wide Web Conf. (WWW2007), 2007, pp. 993-1002.
37. A. Valmari, "Stubborn sets for reduced state space generation," in Advances in Petri Nets 1990, LNCS 483, G. Rozenberg, Ed. New York: Springer, 1991, pp. 491-515.
38. Z. W. Li and M. C. Zhou, "Elementary siphons of Petri nets and their applications to deadlock prevention in flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern., vol. 34, no. 1, pp. 38-51, Ian. 2004.
39. Z. W. Li and M. C. Zhou, "Clarifications on the definitions of elementary siphons in Petri nets," IEEE Trans. Syst, Man, Cybem.: Part A, vol. 36, no. 6, pp. 1227-1229, Nov. 2006.
40. Z. W. Li and M. C. Zhou, "Two-stage method to design liveness-en-forcing Petri net supervisor for FMS," IEEE Trans. Ind. Inf., vol. 2, no. 4, pp. 313-325, Nov. 2006.
41. Z. W. Li, H. S. Hu, and A. R. Wang, "Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets," IEEE Trans. Syst., Man, Cybern. C, vol. 37, no. 4, pp. 517-526, Jul. 2007.
42. Z. W. Li and M. C. Zhou, "Control of elementary and dependent siphons in Petri nets and their application," IEEE Trans. Syst., Man, Cybem.: Part A, vol. 38, no. 1, pp. 133-148, Jan. 2008.