Automatic Composition of Semantic Web Services Based on Fuzzy Predicate Petri Nets

IEEE Transactions on Automation Science and Engineering

Volumn 12, Issue 2, 2015, Pages 680-689

  Cheng, Jiujun ^a   Liu, Cong ^b   Zhou, Mengchu ^a,c   Zeng, Qingtian T ^b   Ylä Jääski, Antti ^d  

^a Ministry of Education   (China)

^b SHANDONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

^c NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

^d AALTO UNIVERSITY   (Finland)

Author keywords

Fuzzy predicate Petri nets (FPPN); fuzzy semantic; horn clause; Petri nets; service composition; service oriented architecture

Indexed keywords

FUZZY LOGIC; INFORMATION SERVICES; LOGIC PROGRAMMING; PETRI NETS; QUALITY OF SERVICE; SEMANTIC WEB; SERVICE ORIENTED ARCHITECTURE (SOA); SOCIAL NETWORKING (ONLINE); WEBSITES;

AUTOMATIC COMPOSITION; AUTOMATIC WEB SERVICE COMPOSITIONS; COMPOSITE SERVICES; FUZZY PREDICATES; FUZZY SEMANTICS; HORN CLAUSE; SERVICE COMPOSITIONS; WEB SERVICE COMPOSITION;

WEB SERVICES;

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

References (77)

1. J. Bruijn, C. Bussler, J. Domingue, D. Fensel, M. Hepp, U. Keller, M. Kifer, J. Kopecky, R. Lara, H. Lausen, E. Oren, A. Polleres, D. Roman, J. Scicluna, and M. Stollberg, Web service modeling ontology, 2005. [Online]. Available: http://wsmo.org
2. S. Calegari and D. Ciucci, "Fuzzy ontology and fuzzy-OWL in the Kaon project," in Proc. IEEE Int. Conf. on Fuzzy Syst., 2007, pp. 1415-1420.
3. X. Dai and Z. H. Zhang, "A model of tourism information service composition based on fuzzy Petri net," in Proc. Int. Conf. Comput. Sci. Service Syst., Nanjing, China, 2011, pp. 1941-1944.
4. C. Damasio, J. Pan, G. Stoilos, and U. Straccia, "An approach to representing uncertainty rules in RuleML," in Proc 2nd Int. Conf. Rules Rule Markup Languages for the Semantic Web, 2006, pp. 1-10.
5. Z. J. Ding, J. L. Wang, and C. J. Jiang, "Semantic web service composition based on OWL-S," in Proc. 1st Int. Conf. Semantics, Knowledge Grid., SKG'05, 2005, pp. 872-878.
6. Y. Du, W. Tan, and M. C. Zhou, "Timed compatibility analysis of web service composition: A modular approach based on Petri nets," IEEE Trans. Autom. Sci. Eng., 2013, to be published.
7. J. Fan and S. Kambhampati, "A snapshot of public web services,"SIGMOD Record, vol. 34, no. 1, pp. 24-32, 2005.
8. J. Farrell and H. Lausen, "Semantic annotations for WSDL and XML schema," 2007. [Online]. Available: http://www.w3.org/TR/sawsdl/
9. G. Fenza, V. Loia, and S. Senatore, "A hybrid approach to semantic web services matchmaking," Int. J. Approx. Reasoning, vol. 48, no. 3, pp. 808-828, 2008.
10. M. Gao, M. C. Zhou, X. Huang, and Z. Wu, "Fuzzy reasoning Petri nets," IEEE Trans. Syst, Man, Cybern.: Part A, vol. 33, no. 3, pp. 314-324, May 2003.
11. M. Gao, M. C. Zhou, and Y. Tang, "Intelligent decision making in disassembly process based on fuzzy reasoning Petri nets," IEEE Trans. Syst, Man, Cybern.: Part B, vol. 34, no. 5, pp. 2029-2034, Oct. 2004.
12. D. Hirtle, H. Boley, B. Grosof, M. l. Kifer, M. l. Sintek, S. Tabet, and G. Wagner, "Schema specification of RuleML 0.89," 2005. [Online]. Available: http://www.w3.org/Submission/FOL-RuleML
13. L. S. Hou, Z. Jin, and B. D. Wu, "Modeling and verifying web services driven by requirements: An ontology based approach," Sci. China Series F: Inform. Sci., vol. 49, no. 6, pp. 792-820, 2006.
14. I. Horrocks, F. Peter, H. Boley, S. Tabet, B. Grosof, and M. Dean, "SWRL: A semantic web rule language combining OWL and RuleML," May 2004 [Online]. Available: http://www.w3.org/Submission/SWRL/
15. H. Hu, M. C. Zhou, and Z. L. Y. Tang, "An optimization approach to improved Petri net controller design for automated manufacturing systems," IEEE Trans. Autom. Sci. Eng., vol. 10, no. 3, pp. 634-642, Jul. 2013.
16. K. Lautenbach, W. M. P. van der Aalst and E. Best, Eds., "Logical reasoning and Petri nets," in Proc. ICATPN, Berlin, Germany, 2003, vol. 2679, Lecture Notes in Computer Science, pp. 276-295.
17. Q. Lang and S. Su, "And/or graph and search algorithm for discovering composite web services," Int. J. Web Services Res., vol. 2, no. 4, pp. 46-64, 2005.
18. D. N. Le and A. E. S. G. FuzMOD, "Fuzmod: A fuzzy multi-ontology web service discovery system," in Proc. 2nd IEEE Asia-Pacific Service Comput. Conf., Dec. 11-14, 2007, pp. 197-203.
19. X. Li, Y. Fan, Q. Z. Sheng, Z. Maamar, and H. Zhu, "A Petri net approach to analyzing behavioral compatibility and similarity of web services,"IEEE Trans. Syst, Man, Cybern., Part A: Syst. Humans, vol. 41, no. 3, pp. 510-521, May 2011.
20. X. Li, S. Madnick, and H. Zhu, "A context-based approach to reconciling data interpretation conflicts in web services composition," ACM Trans. Int. Technol. (TOIT), 2014, to be published.
21. X. Li, S. Madnick, H. Zhu, and Y. Fan, "Reconciling semantic heterogeneity in web services composition," in Proc. 30th Int. Conf. Inform. Syst. (ICIS'09), Phoenix, AZ, USA, Dec. 15-18, 2009, pp. 20-25.
22. Z. W. Li and M. C. Zhou, Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach. New York, NY, USA: Springer, 2009.
23. C. Lin, A. Chaudhury, A. Whinston, and D. C. Marinescu, "Logical inference of Horn clauses in Petri net models," IEEE Trans. Knowl. Data Eng., vol. 5, no. 4, pp. 416-425, Jul. 1993.
24. D. Martin, M. P. S. McIlraith, M. Burstein, D. McDermott, D. McGuinness, B. Parsia, T. Payne, M. Sabou, M. Solanki, N. Srinivasan, and K. Sycara, "Bringing semantics to web services: The OWL-S approach," Semantic Web Services and Web Process Composition, vol. 3387, Lecture Notes in Computer Science, pp. 26-42, 2005.
25. P. Men, Z. H. Duan, and B. Yu, "Utilizing fuzzy Petri net for choreography based semantic web services discovery," Petri Nets and Other Models of Concurrency-ICATPN, pp. 362-380, 2007.
26. T. Murata and D. Zhang, "A predicate-transition net model for parallel interpretation of logic programs," IEEE Trans. Softw. Eng., vol. 14, no. 4, pp. 481-498, Apr. 1988.
27. S. Narayanan and S. A. McIlraith, "Analysis and simulation of web services,"Comput. Networks: Int. J. Comput. Telecommun. Networking, vol. 42, no. 5, pp. 675-693, 2003.
28. J. Z. Pan, G. Stoilos, G. Stamou, V. Tzouvaras, and I. Horrocks, "F-SWRL: A fuzzy extension of SWRL," J. Data Semantic, Special Issue on Emergent Semantics, vol. 4090, pp. 28-46, 2006.
29. G. Peterka and T. Murata, "Proof procedure and answer extraction in Petri net model of logic programs," IEEE Trans. Software Eng., vol. 15, no. 2, pp. 209-217, Feb. 1989.
30. Z. Z. Qian, S. Lu, and X. li, "Automatic composition of Petri net based web services (J)," Chinese J. Comput., vol. 29, no. 7, pp. 1057-1066, 2006.
31. J. Rao, P. Küngas, and M. Matskin, "Logic-based web services composition: From service description to process model," in Proc. IEEE Int. Conf. Web Services. IEEE Comput. Soc., 2004, pp. 446-453.
32. J. H. Rao and X. M. Su, J. Cardoso and A. Sheth, Eds., "A survey of automated web service composition methods"," in Proc. SWSWPC, Berlin, Germany, 2005, vol. 3387, Lecture Notes in Computer Science, pp. 43-54.
33. M. Reformat, D. M. Li, and C. Ly, "Approximate reasoning and semantic web services," Fuzzy Inform., vol. 1, pp. 413-418, 2004.
34. E. Sirin, B. Parsia, D. Wu, J. Hendler, and D. Nau, "HTN planning for web service composition using shop," J. Web Semantics, vol. 1, no. 4, pp. 377-396, 2004.
35. G. Stoilos, N. Simou, G. Stamou, and S. Kollias, "Uncertainty and the semantic web," IEEE Intell. Syst., vol. 21, no. 5, pp. 84-87, Sep.-Oct. 2006.
36. G. Stoilos, G. Stamou, V. Tzouvaras, J. Z. Pan, and I. Horrocks, B. Cuenca-Grau, I. Horrocks, B. Parsia, and P. Patel-Schneider, Eds., "Fuzzy OWL: Uncertainty and the semantic web," in Proc. Int. Workshop OWL: Experience and Directions: CEUR-WS.org Publishers, Aachen, Germany, 2005, pp. 80-89.
37. U. Straccia, "Reasoning within fuzzy description logics," J. Artificial Intell. Res., vol. 14, no. 1, pp. 137-166, 2001.
38. U. Straccia, "A fuzzy description logic for the semantic web," in Proc. Capturing Intell.: Fuzzy Logic and the Semantic Web, E. Sanchez, Ed. New York, NY, USA: Elsevier Sci., 2006, pp. 73-90.
39. G. Stamou, J. Pan, H. Boley, S. Tabet, V. Tzouvaras, G. Stoilos, G. Wagner, A. Giurca, C. Damasio, U. Straccia, A. Chortaras, and T. Lukasiewicz, 2006. [Online]. Available: http://image.ntua.gr/FuzzyRuleML/
40. P. Sun, C. J. Jiang, and M. C. Zhou, "Interactive web service composition based on Petri net," Trans. Inst. Meas. Control, vol. 33, no. 1, pp. 116-132, Feb. 2011.
41. W. Tan, Y. Fan, and M. C. Zhou, "A Petri net-based method for compatibility analysis and composition of web services in business process execution language," IEEE Trans. Autom. Sci. Eng., vol. 6, no. 1, pp. 94-106, Jan. 2009.
42. W. Tan, Y. Fan, M. C. Zhou, and Z. Tian, "Data-driven service composition in building SOA solutions: A Petri net approach," IEEE Trans. Autom. Sci. Eng., vol. 7, no. 3, pp. 686-694, Jul. 2010.
43. W. Tan and M. C. Zhou, Business and Scientific Workflows: A Web Service-Oriented Approach . Hoboken, NJ, USA: Wiley, 2013.
44. X. Tang, C. Jiang, and M. Zhou, "Automatic web service composition based on Horn clauses and Petri nets," Expert Syst. With Applicat., vol. 38, no. 10, pp. 13024-13031, Sep. 2011.
45. Q. T. Tho, S. C. Hui, A. C. M. Fong, and T. H. Cao, "Automatic fuzzy ontology generation for semantic web," IEEE Trans. Knowl. Data Eng., vol. 18, no. 6, pp. 842-856, Jun. 2006.
46. P. Wang, Z. Ding, C. Jiang, and M. C. Zhou, "Automated web service composition supporting conditional branch structures," Enterprise Inform. Syst., vol. 8, no. 1, pp. 121-146, 2014.
47. A. Wang, Z. Li, M. C. Zhou, and A. M. Al-Ahmari, "Iterative deadlock control by using Petri nets," IEEE Trans. Syst., Man, Cybern.-Part C, vol. 42, no. 6, pp. 1204-1218, Dec. 2012.
48. P. W. Wang, Z. J. Ding, C. J. Jiang, and M. C. Zhou, "Design and implementation of a web-service-based public oriented personalized health care platform," IEEE Trans. Syst., Man, Cybern.: Syst., vol. 43, no. 4, pp. 941-957, Jul. 2013.
49. P. Wang, Z. Ding, C. Jiang, and M. C. Zhou, "Constraint-aware approach to web service composition," IEEE Trans. Syst., Man, Cybern.: Syst., May 2013, to be published.
50. Y. Wu, C. Yan, Z. Ding, G. Liu, P. Wang, C. Jiang, and M. C. Zhou, "A novel method for calculating service reputation," IEEE Trans. Autom. Sci. Eng., vol. 10, no. 3, pp. 634-642, Jul. 2013.
51. J. Wu, L. Chen, Y. Feng, Z. Zheng, M. C. Zhou, and Z. Wu, "Predicting quality of service for selection by neighborhood-based collaborative filtering," IEEE Trans. Syst., Man, Cybern.: Syst., vol. 43, no. 2, pp. 428-439, Mar. 2013.
52. P. C. Xiong, Y. S. Fan, and M. C. Zhou, "Qos-aware web service configuration,"IEEE Trans. Syst., Man, Cybern.: Part A, vol. 38, no. 4, pp. 888-895, Jul. 2008.
53. P. C. Xiong, Y. Fan, and M. C. Zhou, "Web service configuration under multiple quality-of-service attributes," IEEE Trans. Autom. Sci. Eng., vol. 6, no. 2, pp. 311-321, Apr. 2009.
54. S. K. Yu, "Knowledge representation and reasoning using fuzzy PR/T net-systems," Fuzzy Sets Syst., vol. 75, pp. 33-45, 1995.
55. L. Z. Zeng, B. Benatallah, A. Ngu, M. Dumas, J. Kalagnanam, and H. Chang, "Qos-aware middleware for web services composition," IEEE Trans. Softw. Eng., vol. 30, no. 5, pp. 311-327, May 2004.
56. G. S. Zhang, C. J. Jiang, and Z. J. Ding, "Service discovery framework using fuzzy Petri net," J. Comput. Res. Develop., vol. 43, no. 11, pp. 1886-1894, 2006.
57. M. C. Zhou and M. P. Fanti, Deadlock Resolution in Computer-Integrated Systems. New York, NY, USA: Marcel Dekker, 2005.
58. Petri Nets in Flexible and Agile Automation, M. C. Zhou, Ed. London, U.K.: Kluwer, 1995.
59. M. C. Zhou, "Deadlock avoidance methods for a distributed robotic system: Petri net modeling and analysis," J. Robot. Syst., vol. 12, no. 3, pp. 177-187, 1995.
60. M. C. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems . London, U.K.: Kluwer, 1993.
61. M. C. Zhou and K. Venkatesh, Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach . Singapore: World Scientific, 1998.
62. M. C. Zhou and F. DiCesare, "Adaptive design of Petri net controllers for error recovery in automated manufacturing systems," IEEE Trans. Syst., Man, Cybern., vol. 19, no. 5, pp. 963-973, Sep./Oct. 1989.
63. M. C. Zhou and F. DiCesare, "Parallel and sequential mutual exclusions for Petri net modeling for manufacturing systems with shared resources,"IEEE Trans. Robot. Autom., vol. 7, no. 4, pp. 515-527, Aug. 1999.
64. M. C. Zhou and M. C. Leu, "Modeling and performance analysis of a flexible PCB assembly station using Petri nets," Trans. ASME, J. Electron. Packag., vol. 113, no. 4, pp. 410-416, 1991.
65. M. C. Zhou, F. DiCesare, and A. A. Desrochers, "A hybrid methodology for synthesis of Petri nets models for manufacturing systems," IEEE Trans. Robot. Autom., vol. 8, no. 3, pp. 350-361, Jun. 1992.
66. M. C. Zhou, F. DiCesare, and D. Rudolph, "Design and implementation of a Petri net based supervisor for a flexible manufacturing system,"Automatica, vol. 28, no. 6, pp. 1199-1208, 1992.
67. M. C. Zhou, C.-H. Wang, and X. Zhao, "Automating Mason's rule and its application in performance analysis of stochastic Petri nets," IEEE Trans. Control Syst. Technol., vol. 3, no. 2, pp. 238-244, Jun. 1995.
68. M. C. Zhou and F. DiCesare, "Petri net modeling of buffers in automated manufacturing systems," IEEE Trans. Syst., Man, Cybern.-Part B: Cybern., vol. 26, no. 1, pp. 157-164, Feb. 1996.
69. M. C. Zhou and M. D. Jeng, "Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A Petri net approach," IEEE Trans. Semicond. Manuf., vol. 11, no. 3, pp. 333-357, Aug. 1998.
70. M. C. Zhou, M. Jeng, and M. P. Fanti, "Guest Editorial: Special Issue on deadlock resolution in computer integrated systems," IEEE Trans. Syst., Man, Cybern., vol. 34, no. 1, pp. 1-4, Jan. 2004.
71. Z. Zhou, F. Chu, A. Che, and M. C. Zhou, "ε-constraint and fuzzy logic-based optimization of hazardous material transportation via lane reservation,"IEEE Trans. Intell. Transp. Syst., vol. 14, no. 2, pp. 847-857, Jun. 2013.
72. Zhovtobryukh, "A Petri net-based approach for automated goal-driven web service composition," SIMULATION, vol. 83, pp. 33-63, 2007.
73. H. Zhu and M. C. Zhou, "Role transfer problems and algorithms," IEEE Trans. Syst., Man, Cybern.: Part A, vol. 38, no. 6, pp. 1442-1450, Nov. 2008.
74. H. Zhu and M. C. Zhou, "Efficient role transfer based on Kuhn-Munkres Algorithm," IEEE Trans. Syst., Man, Cybern.: Part A: Syst. Humans, vol. 42, no. 2, pp. 491-496, Mar. 2012.
75. H. Zhu, M. C. Zhou, and R. Alkins, "Group role assignment via a Kuhn-Munkres algorithm-based solution," IEEE Trans. Syst., Man, Cybern.: Part A: Syst. Humans, vol. 42, no. 3, pp. 739-750, May 2012.
76. H. Zhu, M. C. Zhou, and P. Seguin, "Supporting software development with role," IEEE Trans. Syst., Man, Cybern.: Part A: Syst. Humans, vol. 36, no. 6, pp. 1110-1123, Nov. 2006.
77. R. Zurawski and M. C. Zhou, "Petri nets and industrial applications: A tutorial," IEEE Trans. Ind. Electron., vol. 41, no. 6, pp. 567-583, Dec 1994.