QoS-aware web service configuration

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans

Volumn 38, Issue 4, 2008, Pages 888-895

  Xiong, PengCheng ^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

Complex system; Discrete event system; Modeling and analysis; Optimization; Petri nets; Simulation; Web service

Indexed keywords

BOOLEAN FUNCTIONS; GRAPH THEORY; INFORMATION SERVICES; MARINE BIOLOGY; MODAL ANALYSIS; PETRI NETS; WEB SERVICES; WORLD WIDE WEB;

(EXTENDED) PETRI NETS; (I ,J) CONDITIONS; COMPETITIVE MARKETS; CROSS-ENTERPRISE; FUNCTIONAL REQUIREMENTS (FR); IN ORDER; INTER-OPERATION; NON-FUNCTIONAL REQUIREMENTS; OPTIMAL ALGORITHMS; SERVICE COMPONENTS; SERVICE CONFIGURATION; SERVICE USERS; SIMULATION RESULTS; USER REQUIREMENTS; WEB SERVICE PROVIDERS;

QUALITY OF SERVICE;

EID: 46649098499     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCA.2008.923062     Document Type: Article

References (47)

1. "Web service activity," World Wide Web Consortitum. [Online]. Available: Www.w3.org/2002/ws/
2. F. Curbera, M. Duftler, R. Khalaf, W. Nagy, N. Mukhi and S. Weerawarana, "Unraveling the web services web: An introduction to SOAP, WSDL, and UDDL" IEEE Internet Comput., vol. 6, no. 2, pp. 86-93, Mar./Apr. 2002.
3. J. Yan, Y. Yang, and G. K. Raikundalia, "SwinDeW - A p2p-based decentralized workflow management system," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 36, no. 5, pp. 922-935, Sep. 2006.
4. D. A. Menasce, "Mapping service-level agreements in distributed applications," IEEE Internet Comput., vol. 8, no. 5, pp. 100-102, Sep./Oct. 2004.
5. J. Cardoso and A. Sheth, "Semantice-workflow composition," J. Intell. Inf. Syst., vol. 21, no. 3, pp. 191-225, Nov. 2003.
6. D. A. Menasce, "QoS issues in web services," IEEE Internet Comput. vol. 6, no. 6, pp. 72-75, Nov./Dec. 2006.
7. S. Ran, "A model for web services discovery with QoS," SIGecom Exchanges, vol. 4, no. 1, pp. 1-10, Mar. 2003.
8. C. Yi and K. Nahrstedt, "QoS-aware dependency management for component-based systems," in Proc. 10th IEEE Int. Symp. High Performance Distrib. Comput., San Francisco, CA, Aug. 2001, pp. 127-138.
9. A. Keller and G. Kar, "Dynamic dependencies in application service management," in Proc. Int. Conf. Parallel Distrib. Process. Techn. Appl., Las Vegas, NV, 2002.
10. P. Hasselmayer, "Managing dynamic service dependencies," in Proc. 12th Int. Workshop Distrib. Syst.: Oper. Manage., Nancy, France, Oct. 2001, pp. 141-150.
11. A. Barros, M. Dumas, and P. Oaks, "Standards for web service choreography and orchestration: Status and perspectives," in Business Process Management Workshops, vol. 3812. Berlin, Germany: Springer-Verlag, 2006, pp. 61-74.
12. T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Tbatte, I. Trickovic, and S. Weerawarana, Business process execution language for web services, May 2003. version 1.1 [Online]. Available: http://www-106.ibm.com/developerworks/ webservices/library/ws-bpel
13. M. C. Zhou and K. Venkatesh, Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. Singapore: World Scientific, 1998.
14. C. Stahl, "A Petri net semantics for BPEL," Humboldt-Universität zu Berlin, Berlin, Germany, Informatik-Berichte 188, Jul. 2005.
15. N. Lohmann, P. Massuthe, C. Stahl, and D. Weinberg, "Analyzing interacting BPEL processes," in Proc. 4th Int. Conf. Bus. Process Manage., Vienna, Austria, Sep. 2006, pp. 17-32.
16. L. Z. Zeng, B. Benatallah, A. H. H. 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.
17. J. L. Fiadeiro, A. Lopes, and L. Bocchi, "A formal approach to service component architecture," in Proc. 3rd Int. Workshop Web Serv. Formal Methods, Vienna, Austria, Sep. 2006, pp. 193-213.
18. Z. L. Zou and Z. H. Duan, "Building business processes or assembling service components: Reuse services with BPEL4WS and SCA," in Proc. 4th IEEE Eur Conf. Web Serv., Zurich, Switzerland, Dec. 2006, pp. 138-147.
19. Q. A. Liang 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. 48-67, Oct.-Dec. 2005.
20. A. Sheth, J. Cardoso, J. Miller, and K. Kochut, "QoS for service-oriented middleware," in Proc. Conf. Systemics, Cybern. Informatics, Orlando, FL, Jul. 2002, pp. 528-534.
21. E. Wohlstadter, S. Tai, T. Mikalsen, I. Rouvellou, and P. Devanbu, "GlueQoS: Middleware to sweeten quality-of-service policy interactions," in Proc. 26th Int. Conf. Softw. Eng., Edinburgh, U.K., May 2004, pp. 189-199.
22. J. Q. Li, Y S. Fan, and M. C. Zhou, "Performance modeling and analysis of workflow," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 34, no. 2, pp. 229-242, Mar. 2004.
23. R. Bouyekhf and A. E. Moudni, "On the analysis of some structural properties of Petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 35, no. 6, pp. 784-794, Nov. 2005.
24. J. H. Park, "A deadlock and livelock free protocol for decentralized Internet resource coallocation," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 34, no. 1, pp. 123-131, Jan. 2004.
25. B. Hruz and M. C. Zhou, Modeling and Control of Discrete Event Dynamic Systems (Advanced Textbooks in Control and Signal Processing) London, UK: Springer, 2007, p. 341.
26. M. C. Zhou and M. P. Fanti, Eds., Deadlock Resolution in Computer-Integrated Systems. New York: Marcel Dekker, 2005.
27. M. C. Zhou and K. Venkatesh, Modeling, Simulation and Control of Flexible Manufacturing Systems: A Petri Net Approach. Singapore: World Scientific, 1998.
28. 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.
29. E. Zussman and M. C. Zhou, "A methodology for modeling and adaptive planning of disassembly processes," IEEE Trans. Robot. Autom., vol. 15, no. 1, pp. 190-194, Feb. 1999.
30. E. Zussman and M. C. Zhou, "Design and implementation of an adaptive planner for disassembly processes," IEEE Trans. Robot. Autom., vol. 16, no. 2, pp. 171-179, Apr. 2000.
31. Y. Tang, M. C. Zhou, E. Zussman, and R. J. Caudill, "Disassembly modeling, planning and applications," J. Manuf. Syst., vol. 21, no. 2, pp. 200-217, 2002.
32. M. Gao, M. C. Zhou, and R. J. Caudill, "Integration of disassembly leveling and bin assignment for demanufacturing automation," IEEE Trans. Robot. Autom., vol. 18, no. 6, pp. 867-874, Dec. 2002.
33. 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. B, Cybern., vol. 34, no. 5, pp. 2029-2034, Oct. 2004.
34. Y. Tang, M. C. Zhou, and M. Gao, "Fuzzy-Petri-net based disassembly planning considering human factors," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 36, no. 4, pp. 718-726, Jul. 2006.
35. Y. Tang and M. C. Zhou, "A systematic approach to design and operation of disassembly lines," IEEE Trans. Autom. Sci. Eng., vol. 3, no. 3, pp. 324-329, Jul. 2006.
36. Z. 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, Jan. 2004.
37. N. Wu and M. C. Zhou, "Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles," IEEE Trans. Syst., Man, Cybern. B, Cybern., vol. 35, no. 6, pp. 1193-1202, Dec. 2005.
38. N. Wu and M. C. Zhou, "Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems," IEEE Trans. Robot. Autom., vol. 17, no. 5, pp. 658-669, Oct. 2001.
39. Z. Li and M. C. Zhou, "Two-stage method to design liveness-enforcing Petri net supervisor for FMS," IEEE Trans. Ind. Informat., vol. 2, no. 4, pp. 313-325, Nov. 2006.
40. Z. Li, H. Hu, and A. Wang, "Design of liveness-enforcing supervisors for flexible manufacturing systems using Petri nets," IEEE Trans. Syst., Man, Cybern. C, Appl. Rev., vol. 37, no. 4, pp. 517-526, Jul. 2007.
41. J. S. Lee, M. C. Zhou, and P. L. Hsu, "A Petri-net approach to modular supervision with conflict resolution for semiconductor manufacturing systems," IEEE Trans. Autom. Sci. Eng., vol. 4, no. 4, pp. 584-588, Oct. 2007.
42. Z. Li and M. C. Zhou, "Control of elementary and dependent siphons in Petri nets and their application," IEEE Trans. Syst., Man, Cybern. A, Syst. Humans, vol. 38, no. 1, pp. 133-148, Jan. 2008.
43. Z. Li, M. C. Zhou, and M. D. Jeng, "A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions," IEEE Trans. Autom. Sci. Eng., vol. 5, no. 1, pp. 182-188, Jan. 2008.
44. N. Wu, M. C. Zhou, and Z. Li, "Resource-oriented Petri net for deadlock avoidance in flexible assembly systems," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 1, pp. 56-69, Jan. 2008.
45. J. S. Lee, M. C. Zhou, and P. L. Hsu, "Multi-paradigm modeling for hybrid dynamic systems using Petri net framework," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 2, pp. 493-498, Mar. 2008.
46. Z. W. Li, M. C. Zhou, and N. Q. Wu, "A survey and comparison of Petri net-based deadlock prevention policies for flexible manufacturing systems," IEEE Trans. Syst., Man, Cybern. C, Appl. Rev., vol. 38, no. 2, pp. 173-188, Mar. 2008.
47. Z. W. Li and M. C. Zhou, "On siphon computation for deadlock control in a class of Petri nets," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol. 38, no. 3, pp. 667-679, May 2008.