Protocol-level service composition mismatches: A petri net siphon based solution

International Journal of Web Services Research

Volumn 7, Issue 4, 2010, Pages 1-20

  Xiong, Peng Cheng ^a   Pu, Calton ^a   Zhou, Meng Chu ^b  

^a GEORGIA INSTITUTE OF TECHNOLOGY   (United States)

^b TONGJI UNIVERSITY   (China)

Author keywords

Deadlock; Multiple web service interaction; Petri nets; Protocol level mismatch; Service composition

Indexed keywords

DEADLOCK; DEADLOCK FREENESS; DEADLOCK STATE; GENERATION PROCESS; HIGHER EFFICIENCY; MISMATCH PROBLEMS; MULTIPLE WEB SERVICE INTERACTION; OPTIMAL SOLUTIONS; PETRI NET SIPHONS; PROTOCOL-LEVEL MISMATCH; REACHABILITY GRAPHS; SERVICE COMPOSITION; SERVICE COMPOSITIONS; SERVICE INTERACTION; STATE-OF-THE-ART METHODS;

GRAPH THEORY; INTERNET PROTOCOLS; PETRI NETS; QUALITY OF SERVICE; SIPHONS;

WEB SERVICES;

EID: 79953080398     PISSN: 15457362     EISSN: 15465004     Source Type: Journal    
DOI: 10.4018/jwsr.2010100101     Document Type: Article

References (36)

1. Aalst, W. M. P. (1998). The application of Petri Nets to workflow management. The Journal of Circuits . Systems and Computers, 8(1), 21-66. (Pubitemid 128540249)
2. Aalst, W. M. P., & Verbeek, H. (2008). Process Mining in Web Services: The WebSphere Case. IEEE Data Eng. Bull., 31(3), 45-48.
3. Ben-Abdallah, H., & Leue, S. (1997). Syntactic detection of process divergence and non-local choice in message sequence charts. In Proceedings of the 2nd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, Enschede, The Netherlands (pp. 259-274). (Pubitemid 127053065)
4. Benatallah, B., Casati, F., Grigori, D., Nezhad, H., & Toumani, F. (2005). Developing Adaptors for Web services Integration. In Proceedings of the CAiSE, Porto, Portugal (pp. 415-429). (Pubitemid 41336118)
5. Benatallah, B., Casati, F., & Toumani, F. (2006). Representing, analysing and managing web service protocols. Data & Knowledge Engineering, 58(3), 327-357. doi:10.1016/j.datak.2005.07.006 (Pubitemid 43994224)
6. Chu, F., & Xie, X. L. (1997). Deadlock analysis of Petri nets using siphons and mathematical programming. IEEE Transactions on Robotics and Automation, 13(6), 793-804. doi:10.1109/70.650158 (Pubitemid 127770479)
7. Curbera, F., Mukhi, N., Nagy, W., & Weerawarana, S. (2006). Implementing BPEL4WS: the Architecture of a BPEL4WS Implementation. Concurrency and Computation, 18(10), 1219-1228. doi:10.1002/ cpe.1003 (Pubitemid 44258506)
8. Dong, X., Halevy, A., Madhavan, J., Nemes, E., & Zhang, J. (2004). Similarity Search for Web Services. In Proceedings of the 30th Intern. Conf. on Very Large Data Bases, Toronto, Canada (pp. 372-383).
9. Ezpeleta, J., Colom, J., & Martinez, J. (1995). A Petri Net based Deadlock Prevention Policy for Flexible Manufacturing Systems. IEEE Transactions on Robotics and Automation, 11(2), 173-184. doi:10.1109/70.370500
10. Fahland, D., & Reisig, W. (2005). ASM-based semantics for BPEL: The negative control flow. In Proceedings of the 12th International Workshop on Abstract State Machines, Paris (pp. 131-151).
11. Ferrara, A. (2004). Web Services: a Process Algebra Approach. In Proceedings of the 2nd International Conference on Service Oriented Computing, New York (pp. 242-251). (Pubitemid 40821154)
12. Fisteus, J., Fernández, L., & Kloos, C. (2004). Formal verification of BPEL4WS business collaborations. In Proceedings of the 5th International Conference on Electronic Commerce and Web Technologies, Zaragoza, Spain (pp. 76-85).
13. Foster, H., Uchitel, S., Magee, J., & Kramer, J. (2005). Tool support for model-based engineering of Web service compositions. In Proceedings of the 2005 IEEE International Conference on Web Services, Orlando, FL (pp. 95-102). (Pubitemid 44460197)
14. Fu, X., Bultan, T., & Su, J. (2004). Analysis of Interacting BPEL Web Services. In Proceedings of the 13th International World Wide Web Conference, New York (pp. 621-630). (Pubitemid 40752796)
15. Hinz, S., Schmidt, K., & Stahl, C. (2005). Transforming BPEL to Petri Nets. In Proceedings of the 3rd International Conference on Business Process Management, Nancy, France (pp. 220-235). (Pubitemid 41490765)
16. Hu, H., Zhou, M. C., & Li, Z. W. (2009). Liveness Enforcing Supervision of Video Streaming Systems Using Non-sequential Petri Nets. IEEE Transactions on Multimedia, 11(8), 1446-1456. doi:10.1109/ TMM.2009.2032678
17. König, D., Lohmann, N., Moser, S., Stahl, C., & Wolf, K. (2008). Extending the Compatibility Notion for Abstract WS-BPEL Processes. In Proceedings of the 17th International World Wide Web Conference, Beijing, China (pp. 785-794).
18. Li, Z. W., & Zhou, M. C. (2004). Elementary Siphons of Petri Nets and Their Applications to Deadlock Prevention in Flexible Manufacturing Systems. IEEE Trans. on Sys., Man and Cybern. Part A, 34(1), 38-51.
19. Li, Z. W., & Zhou, M. C. (2009). Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. New York: Springer.
20. Lohmann, N. (2007). A feature-complete Petri net semantics for WS-BPEL 2.0. In Proceedings of the 4th International Workshop on Web Services and Formal Methods, Brisbane, Australia (pp. 77-91).
21. Lohmann, N., Massuthe, P., Stahl, C., & Weinberg, D. (2006). Analyzing Interacting BPEL Processes. In Proceedings of the 4th International Conference on Business Process Management, Vienna, Austria (pp. 17-32). (Pubitemid 44568316)
22. Lucchia, R., & Mazzara, M. (2007). A pi-calculus based semantics for WS-BPEL. Journal of Logic and Algebraic Programming, 70(1), 96-118. doi:10.1016/j.jlap.2006.05.007 (Pubitemid 44647974)
23. Martens, A. (2003). Usability of Web services. In Proceedings of the 4th Intern. Conf. on Web Info. Systems Eng. Workshops, Rome, Italy (pp. 182-190).
24. Martens, A., Hamadi, R., & Benatallah, B. (2003). A Petri Net based Model for Web Service Composition. In Proceedings of the 14th Australian Database Conf., Adelaide, Australia (pp. 191-200).
25. Murata, T. (1989). Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4), 541-580. doi:10.1109/5.24143
26. Nezhad, H., Benatallah, B., Martens, A., Curbera, F., & Casati, F. (2007). SemiAutomated Adaptation of Service Interactions. In Proceedings of the 16th International World Wide Web Conference, Banff, Alberta, Canada (pp. 993-1002). (Pubitemid 47582329)
27. Ouyang, C., Verbeek, E., Aalst, W. M. P., Breutel, S., Dumas, M., & Hofstede, A. (2005). WofBPEL: A Tool for Automated Analysis of BPEL Processes. In Proceedings of the 3rd Intern. Conf. on Service Oriented Computing, Amsterdam (pp. 484-489). (Pubitemid 43856207)
28. Ryu, S., Casati, F., Skogsrud, H., Benatallah, B., & Saint-Paul, R. (2008). Supporting the dynamic evolution of Web service protocols in service-oriented architectures. ACM Transactions on the Web, 2(2).
29. Ryu, S., Saint-Paul, R., Benatallah, B., & Casati, F. (2007). A Framework for Managing the Evolution of Business Protocols in Web Services. In Proceedings of the 4th Asia-Pacific Conference on Conceptual Modelling, Ballarat, Victoria, Australia (pp. 49-59).
30. Wang, A. R., Li, Z. W., Jia, J. Y., & Zhou, M. C. (2009). An Effective Algorithm to Find Elementary Siphons in a Class of Petri Nets. IEEE Trans. on Sys., Man and Cybern., Part A, 39(4).
31. Wang, Y., & Stroulia, E. (2003). Flexible interface matching for web-service discovery. In Proceedings of the 4th Intern. Conf. on Web Info. Sys. Eng., Rome, Italy (pp. 147-156).
32. Wohed, P., Aalst, W. M. P., Dumas, M., & Hofstede, A. (2003). Analysis of Web services composition languages: The case of BPEL4WS. In Proceedings of the 22nd International Conference on Conceptual Modeling, Chicago (pp. 200-215).
33. Wu, N. Q., Zhou, M. C., & Li, Z. W. (2008). Resource- Oriented Petri Net for Deadlock Avoidance in Flexible Assembly Systems. IEEE Trans. on Systems, Man, and Cybernetics. Part A, 38(1), 56-69.
34. Xiong, P. C., Fan, Y. S., & Zhou, M. C. (2010). A Petri Net Approach to Analysis and Composition of Web Services. IEEE Trans. on Sys., Man and Cybern. Part A, 40(2), 376-387.
35. Yellin, D., & Strom, R. (1997). Protocol specifications and component adaptors. ACM Trans. on Prog. Lang. and Sys., 19(2), 292-333. (Pubitemid 127447777)
36. Zhou, M., & Venkatesh, K. (1998). Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. Singapore, Singapore: World Scientific.