Constraint-aware approach to web service composition

IEEE Transactions on Systems, Man, and Cybernetics: Systems

Volumn 44, Issue 6, 2014, Pages 770-784

  Wang, Pengwei ^a,b   Ding, Zhijun ^a,b   Jiang, Changjun ^a,b   Zhou, Mengchu ^b,c  

^a TONGJI UNIVERSITY   (China)

^b BEIJING UNIVERSITY OF POSTS AND TELECOMMUNICATIONS   (China)

^c NEW JERSEY INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Service composition; service constraint; service extension; service intension; web services

Indexed keywords

GRAPH ALGORITHMS; QUALITY OF SERVICE; WEBSITES;

APPLICABLE CONDITIONS; SERVICE COMPOSITION METHOD; SERVICE COMPOSITIONS; SERVICE CONSTRAINTS; SERVICE EXTENSION; SERVICE INTENSION; SERVICE ORIENTED COMPUTING; WEB SERVICE COMPOSITION;

WEB SERVICES;

EID: 84901302547     PISSN: 21682216     EISSN: 21682232     Source Type: Journal    
DOI: 10.1109/TSMC.2013.2280559     Document Type: Article

References (87)

1. D. Ardagna and B. Pernici, "Adaptive service composition in flexible processes, " IEEE Trans. Softw. Eng., vol. 33, no. 6, pp. 369-384, Jun. 2007. (Pubitemid 46772854)
2. M. Beek, A. Bucchiarone, and S. Gnesi, "A survey on service composition approaches: From industrial standards to formal methods, " IEEE Comput. Soc. Press, New York, NY, USA, Tech. Rep. 2006TR-15, Istituto, 2006, pp. 15-20.
3. D. Benslimane, Z. Maamar, Y. Taher, M. Lahkim, M. C. Fauvet, and M. Mrissa, "A multilayer and multiperspective approach to compose web services, " in Proc. AINA, May 2007, pp. 31-37. (Pubitemid 47430859)
4. D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Me-cella, "Automatic composition of e-services that export their behavior, " in Proc. ICSOC, Dec. 2003, pp. 43-58.
5. D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Mecella, "Synthesis of underspecified composite e-services based on automated reasoning, " in Proc. ICSOC, Nov. 2004, pp. 105-114. (Pubitemid 40821141)
6. D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Me-cella, "Automatic service composition based on behavioral descriptions, " Int. J. Coop. Inf. Syst., vol. 14, no. 4, pp. 333-376, Dec. 2005. (Pubitemid 41053811)
7. A. Brogi, S. Corfini, and R. Popescu, "Composition-oriented service discovery, " in Proc. SC, Apr. 2005, pp. 15-30.
8. A. Brogi and S. Corfini, "Behaviour-aware discovery of web service compositions, " Int. J. Web Serv. Res., vol. 4, no. 3, pp. 1-25, Jul.-Sep. 2007.
9. A. Brogi, S. Corfini, and R. Popescu, "Semantics-based composition-oriented discovery of web services, " ACM Trans. Internet Technol., vol. 8, no. 4, article 19, Sep. 2008.
10. Z. J. Ding, J. L. Wang, and C. J. Jiang, "An approach for synthesis Petri nets for modeling and verifying composite web services, " J. Inf. Sci. Eng., vol. 24, no. 5, pp. 1309-1328, Sep. 2008.
11. S. V. Hashemian and F. Mavaddat, "A graph-based approach to web services composition, " in Proc. SAINT, Feb. 2005, pp. 183-189.
12. ICEBE 2005 organization committee (Oct. 2005). Test Data for Web Services Challenge at ICEBE 2005 [Online]. Available: http://www.comp. hkbu.edu.hk/∼ctr/wschallenge/
13. W. Kongdenfha, H. R. Motahari-Nezhad, B. Benatallah, F. Casati, and R. Saint-Paul, "Mismatch patterns and adaptation aspects: A foundation for rapid development of web service adapters, " IEEE Trans. Serv. Comput., vol. 2, no. 2, pp. 94-107, Apr.-Jun. 2007.
14. Q. A. Lang and S. Y. W. Su, "AND/OR graph and search algorithm for discovering composite web services, " Int. J. Web Serv. Res., vol. 2, no. 4, pp. 46-64, Oct.-Dec. 2005.
15. X. Li, S. Madnick, H. Zhu, and Y. Fan, "An approach to composing web services with context heterogeneity, " in Proc. ICWS, Jul. 2009, pp. 695-702.
16. X. Li, S. Madnick, H. Zhu, and Y. Fan, "Reconciling semantic heterogeneity in web services composition, " in Proc. ICIS, paper 20, Dec. 2009.
17. X. Li, S. Madnick, and H. Zhu, "A context-based approach to reconciling data interpretation conflicts in web services composition, " ACM Trans. Internet Technol., to be published.
18. Y. Liu, A. H. H. Ngu, and L. Zeng, "QoS computation and policing in dynamic web service selection, " in Proc. WWW, May 2004, pp. 66-73.
19. Z. Maamar, M. Lahkim, D. Benslimane, P. Thiran, and S. Subrama-nian, "Web services communities: Concepts and operations, " in Proc. WEBIST, Mar. 2007, pp. 323-327.
20. Z. Maamar, S. Subramanian, P. Thiran, D. Benslimane, and J. Bentahar, "An approach to engineer communities of web services: Concepts, architecture, operation, and deployment, " Int. J. E-Bus. Res., vol. 5, no. 4, pp. 1-21, Oct.-Dec. 2009.
21. S. McIlraith, T. C. Son, and H. Zeng, "Semantic web services, " IEEE Intell. Syst., vol. 16, no. 2, pp. 46-53, Mar.-Apr. 2001. (Pubitemid 32496021)
22. S. McIlraith and T. C. Son, "Adapting Golog for composition of semantic web services, " in Proc. KR, Apr. 2002, pp. 482-493.
23. B. Medjahed, A. Bouguettaya, and A. K. Elmagarmid, "Composing web services on the semantic web, " VLDB J., vol. 12, no. 4, pp. 333-351, Nov. 2003. (Pubitemid 37503691)
24. M. Mrissa, C. Ghedira, D. Benslimane, Z. Maamar, F. Rosenberg, and S. Dustdar, "A context-based mediation approach to compose semantic web services, " ACM Trans. Int. Tech., vol. 8, no. 1, article 4, p. 23, Nov. 2007.
25. S. Narayanan and S. McIlraith, "Simulation, verification and automated compostion of web service, " in Proc. WWW, May 2002, pp. 77-88.
26. D. Nau, O. Ilghami, U. Kuter, J. W. Murdock, D. Wu, and F. Yaman, "SHOP2: An HTN planning system, " J. Artif. Intell. Res., vol. 20, pp. 379-404, Dec. 2003. (Pubitemid 41530530)
27. S. C. Oh, B. W. On, E. J. Larson, and D. Lee, "BF*: Web services discovery and composition as graph search problem, " in Proc. EEE, Mar. 2005, pp. 784-786. (Pubitemid 43111516)
28. S. C. Oh, D. Lee, and S. R. T. Kumara, "A comparative illustration of AI planning-based web services composition, " ACM SIGecom Exch., vol. 5, no. 5, pp. 1-10, Dec. 2005.
29. S. C. Oh, D. Lee, and S. R. T. Kumara, "Web service planner (WSPR): An effective and scalable web service compostion algorithm, " Int. J. Web Serv. Res., vol. 4, no. 1, pp. 1-23, Jan.-Mar. 2007.
30. S. C. Oh, D. Lee, and S. R. T. Kumara, "Effective web service composition in diverse and large-scale service networks, " IEEE Trans. Serv. Comput., vol. 1, no. 1, pp. 15-32, Jan.-Mar. 2008.
31. W3C Member Submission. (2004, Nov. 22). OWL-S: Semantic Markup for Web Services [Online]. Available: http://www.w3.org/Submission/OWL-S/
32. A. V. Paliwal, B. Shafiq, J. Vaidya, H. Xiong, and N. Adam, "Semantics based automated service discovery, " IEEE Trans. Serv. Comput., vol. 5, no. 2, pp. 260-275, Apr.-Jun. 2012.
33. M. P. Papazoglou, P. Traverso, S. Dustdar, and F. Leymann, "Service-oriented computing: State of the art and research challenges, " Computer, vol. 40, no. 11, pp. 38-45, Oct. 2007.
34. M. P. Papazoglou, P. Traverso, S. Dustdar, and F. Leymann, "Service-oriented computing: A research roadmap, " Int. J. Coop. Inf. Syst., vol. 17, no. 2, pp. 223-255, Jun. 2008.
35. S. R. Ponnekanti and A. Fox, "SWORD: A developer toolkit for web service composition, " in Proc. WWW, May 2002, pp. 1-19.
36. J. Rao, P. Küngas, and M. Matskin, "Application of linear logic to web service composition, " in Proc. ICWS, Jun. 2003, pp. 3-9.
37. J. Rao, P. Küngas, and M. Matskin, "Logic-based web service composition: From service description to process model, " in Proc. ICWS, Jul. 2004, pp. 446-453.
38. J. Rao and X. Su, "A survey of automated web service composition methods, " in Proc. SWSWPC, Jul. 2004, pp. 43-54.
39. J. Rao, P. Küngas, and M. Matskin, "Composition of semantic web services using linear logic theorem proving, " Inf. Syst., vol. 31, nos. 4-5, pp. 340-360, Jun.-Jul. 2006. (Pubitemid 43290447)
40. W3C Recommendation. (2007, Aug. 28). Semantic Annotations for WSDL and XML Schema (SAWSDL) [Online]. Available: http://www.w3.org/TR/sawsdl/
41. E. Sirin, B. Parsia, D. Wu, J. Hendler, and D. Nau, "HTN planning for web service composition using SHOP2, " J. Web Semant., vol. 1, no. 4, pp. 377-396, Oct. 2004.
42. W3C Recommendation. (2007, Apr. 27). Simple Object Access Protocol (SOAP), Version 1.2 [Online]. Available: http://www.w3.org/TR/2007/REC-soap12- part1-20070427/
43. S. Sohrabi, N. Prokoshyna, and S. McIlraith, "Web service composition via generic procedures and customizing user preferences, " in Proc. ISWC, Nov. 2006, pp. 597-611. (Pubitemid 44892059)
44. S. Sohrabi, N. Prokoshyna, and S. McIlraith, "Web service composition via the customization of Golog programs with user preferences, " in Conceptual Modeling: Foundations and Applications (LNCS, vol. 5600), A. T. Borgida, V. K. Chaudhri, P. Giorgini, and E. S. Yu, Eds. New York, NY, USA: Springer-Verlag, 2009, pp. 319-334.
45. S. Subramanian, P. Thiran, Z. Maamar, and D. Benslimane, "Engineering communities of web services, " in Proc. iiWAS, Dec. 2007, pp. 57-66.
46. W3C Member Submission. (2004, May 21). SWRL: A Semantic Web Rule Language Combining OWL and RuleML [Online]. Available: http://www.w3.org/Submission/ SWRL/
47. W. Tan, Y. S. 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.
48. W. Tan, Y. S. Fan, M. C. Zhou, and Z. Tian, "Data-driven service composition in enterprise SOA solutions: A Petri net approach, " IEEE Trans. Autom. Sci. Eng., vol. 7, no. 3, pp. 686-694, Jul. 2010.
49. X. Tang, C. Jiang, and M. Zhou, "Automatic Web service composition based on Horn clauses and Petri nets, " Expert Syst. Appl., vol. 38, no. 10, pp. 13024-13031, Sep. 2011.
50. OASIS Standard. (2004, Oct. 19). Universal Description, Discovery and Integration Specification (UDDI), Version 3.0.2 [Online]. Available: http://uddi.org/pubs/uddi-v3.0.2-20041019.htm
51. P. W. Wang, Z. J. Ding, C. J. Jiang, and M. C. Zhou. "Automated web service composition supporting conditional branch structures, " Enterp. Inf. Syst. DOI:10.1080/17517575.2011.584132, pp. 1-26, Jun. 2011, (published online).
52. P. W. Wang, Z. J. Ding, C. J. Jiang, and M. C. Zhou, "Web service compositio techniques in a health care service platform, " in Proc. ICWS, Jul. 2011, pp. 355-362.
53. 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.
54. The Icson Website [Online]. Available: http://www.icson.com/
55. OASIS Standard. (2007, Apr. 11). Web Services Business Process Execution Language (WS-BPEL), Version 2.0 [Online]. Available: http://docs. oasis-open.org/wsbpel/2.0/wsbpel-v2.0.html
56. W3C Recommendation. (2007, Jun. 26). Web Service Description Language (WSDL), Version 2.0 [Online]. Available: http://www.w3. org/TR/2007/REC-wsdl20- 20070626
57. D. Wu, B. Parsia, E. Sirin, J. Hendler, and D. Nau, "Automating DAML-S web services composition using SHOP2, " in Proc. ISWC, Oct. 2003, pp. 195-210.
58. P. C. Xiong, Y. S. Fan, and M. C. Zhou, "QoS-aware web service configuration, " IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 4, pp. 888-895, Jul. 2008.
59. P. C. Xiong, Y. S. 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.
60. L. Zeng, B. Benatallah, A. H. H. Ngu, M. Dumas, J. Kalagnanam, and H. Chang, "QoS-aware middlware for web service composition, " IEEE Trans. Softw. Eng., vol. 30, no. 5, pp. 311-327, May 2004.
61. L. J. Zhang, J. Zhang, and H. Cai, Services Computing. Beijing, China: Tsinghua Univ. Press, 2007.
62. X. Zheng and Y. Yan, "An efficient web service composition algorithm based on planning graph, " in Proc. ICWS, Sep. 2008, pp. 691-699.
63. Y. Wu, C. G. Yan, Z. J. Ding, G. J. Liu, P. W. Wang, C. J. 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.
64. 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.
65. P. Sun, C. J. Jiang, and M. C. Zhou, "Interactive web service composition based on petri net, " Trans. Inst. Meas. Contr., vol. 33, no. 1, pp. 116-132, Feb. 2011.
66. P. Xiong, C. Pu, and M. C. Zhou, "Protocol-level service composition mismatches: A Petri net siphon based solution, " Int. J. Web Serv. Res., vol. 7, no. 4, pp. 1-20, Oct.-Dec. 2010.
67. P. Xiong, Y. Fan, and M. C. Zhou, "A Petri net approach to analysis and composition of web services, " IEEE Trans. Syst., Man Cybern. A, Syst. Human, vol. 40, no. 2, pp. 376-387, Mar. 2010.
68. W. Tan and M. C. Zhou, Business and Scientific Workflows: A Service-Oriented Approach. Hoboken, NJ, USA: Wiley, 2013.
69. M. B. Blake, W. Tan, and F. Rosenberg. "Composition as a service, " IEEE Internet Comput., vol. 14, no. 1, pp. 78-82, 2010.
70. 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. A, Syst. Humans, vol. 41, no. 3, pp. 510-521, May 2011.
71. X. Li, Y. Fan, S. Madnick, Q. Z. Sheng, "A pattern-based approach to protocol mediation for web service composition, " Inform. Softw. Technol., vol. 52, no. 3, pp. 304-323, 2010.
72. J. Cao, W. Zhang, and W. Tan. "Dynamic control of data streaming and processing in a virtualized environment, " IEEE Trans. Autom. Sci. Eng., vol. 9, no 2, 365-376, Apr. 2012.
73. M. Dotoli, M. P. Fanti, C. Meloni, and M. C. Zhou, "A multi-level approach for network design of integrated supply chains, " Int. J. Prod. Res., vol. 43, no. 20, pp. 4267-4287, Oct 15, 2005. (Pubitemid 43175234)
74. M. Dotoli, M. P. Fanti, C. Meloni, and M. C. Zhou, "Design and optimization of integrated e-supply chain for agile and environmentally conscious manufacturing, " IEEE Trans. Syst., Man, Cybern. A, Syst. Humans, vol. 36, no. 1, pp. 62-75, Jan. 2006. (Pubitemid 43072316)
75. Y. Du, C. Jiang and M. C. Zhou, "Modeling and analysis of real-time cooperative systems using Petri nets, " IEEE Trans. Syst., Man, Cybern. A, Syst, Humans, vol. 37, no. 5, pp. 643-654, Sep. 2007. (Pubitemid 47333601)
76. K. Huang, Y. Fan, W. Tan, and M. Qian. "BSNet: A network-based framework for service-oriented business ecosystem management, " Concurrency Comput.: Practice Exper., vol. 25, no. 13, pp. 1861-1878, 2013.
77. Z. W. Li and M. C. Zhou, Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach, New York, NY, USA: Springer, 2009.
78. W. Tan, P. Missier, I. Foster, R. Madduri, D. De Roure, and C. Goble, "A comparison of using taverna and BPEL in building scientific workflows: the case of cagrid, " Concurrency Comput.: Practice Exper., vol. 22, no. 9, pp. 1098-1117, 2010.
79. W. Tan, I. Foster, R. Madduri, "Combining the power of taverna and cagrid: scientific workflows that enable web-scale collaboration, " IEEE Internet Comput., vol. 12, no. 6, pp. 61-68, Nov.-Dec. 2008.
80. W. Tan, M B. Blake, I. Saleh, and S. Dustdar, "Social-network- sourced big data analytics, " IEEE Internet Comput., vol. 17, no. 5, pp. 62-69, Sep.-Oct. 2013.
81. W. Tan, J. Zhang, and I. Foster, "Network analysis of scientific workflows: A gateway to reuse, " IEEE Computer, vol. 43, no. 9, pp. 54-61, Sep. 2010.
82. N. Q. Wu and M. C. Zhou, System Modeling and Control With Resource-Oriented Petri Nets, New York, NY, USA: CRC Press, 2010.
83. Y. Zheng, Y. Fan, and W. Tan, "Towards workflow simulation in service-oriented architecture: An event-based approach, " Concurrency Comput.: Practice Exper., vol. 20, no. 4, pp. 315-330, 2008. (Pubitemid 351421451)
84. M. C. Zhou and F. DiCesare, "Petri net synthesis for discrete event control of manufacturing systems." London, I.K.: Kluwer Academic, 1993.
85. M. C. Zhou and K. Venkatesh, Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. Singapore: World Scientific, 1998.
86. H. Zhu and M. C. Zhou, "Roles in information systems: A survey, " IEEE Trans. Syst., Man, Cybern. C, Appl. Rev., vol. 38, no. 3, pp. 377-396, May 2008. (Pubitemid 351663122)
87. Zhu, H., M. C. Zhou and P. Seguin, "Supporting software development with role, " IEEE Trans. Syst., Man, Cybern. A, Syst. Humans, vol. 36, no. 6, pp. 1110-1123, Nov.