A framework for verifying SLA compliance in composed services

Proceedings of the IEEE International Conference on Web Services, ICWS 2008

Volumn , Issue , 2008, Pages 457-464

  Hua, Xiao ^a   Brian, Chan ^a   Ying, Zou ^a   Benayon, Jay W ^b   O'Farrell, Bill ^b   Litani, Elena ^b   Hawkins, Jen ^b  

^a QUEEN S UNIVERSITY   (Canada)

^b IBM CANADA LTD   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

HAND TOOLS; LARGE SCALE SYSTEMS; PROCESS MONITORING; SPHERES; WEB SERVICES; WORLD WIDE WEB;

BUSINESS ANALYSTS; BUSINESS PROCESS MODELS; CASE STUDIES; COMPOSITION DESIGNS; DESIGN TIMES; FUNCTIONAL REQUIREMENTS; INDUSTRIAL PROCESS SIMULATIONS; INDUSTRIAL SERVICES; INTEGRATION OF SERVICES; NONFUNCTIONAL REQUIREMENTS; SERVICE COMPOSITION MODELS; SERVICE COMPOSITIONS; SERVICE DEPLOYMENTS; SERVICE LEVELS; SYSTEM INTEGRATORS;

OCEAN CURRENTS;

EID: 57749177916     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICWS.2008.26     Document Type: Conference Paper

References (20)

1. T. Andrews, F. Curbera, H. Dholakia, Y. Goland, et al., "Business Process Execution Language for Web Services Version 1.1," 2003.
2. A. Alves, A. Arkin, S. Askary, C. Barreto, et al., "Web Services Business Process Execution Language Version 2.0," 2007.
3. A. Barbir, Ch. Hobbs, El. Bertino, F. Hirseh, L. Martino, "Challenges of Testing Web Services and Security in SOA Implementations," In book Test and Analysis of Web Services, Springer, 2007, pp. 395-440.
4. F. van Breugel and M. Koshkina, "Models and Verification of BPEL," Working Paper, 2006.
5. Z. Duan, A. Bernstein, P. Lewis, and S. Lu, "Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes", in Proc. of the IEEE International Conference on Web Services (ICWS'2004), San Diego, CA, USA, July, 2004, pp. 734-737.
6. th International Conference on Automated Software Engineering, 2003, pp. 152-161.
7. Casey K. Fung, Patrick C. K. Hung, Guijun Wang, Richard C. Linger and Gwendolyn H. Walton, "A Study of Service Composition with QoS Management," in 2005 IEEE International Conference on Web Services (ICWS'05), Orlando, Florida, USA, July 12-15, 2005
8. IBM Web Sphere Business Modeler, Available at: http://www-306.ibm.com/ software/integration/wbimodeler
9. IBM Web Sphere Integration Developer, Available at: http ://www-3 06.ibm.com/soft ware/integration/wid
10. IBM Web Sphere Integration Developer Sample: Loan application, Available at : http://publib.boulder.ibm.com/infocenter/dmndhelp/v6rxm x/topic/com.ibm.wbit.sample.appl.3.doc/loanapplication/pd f/loanapplication.pdf
11. R. Kazhamiakin, P. Pandya, M. Pistore, "Representation, Verification, and Computation of Timed Properties in Web Service Compositions," In proceeding of International Conference on Web Services (ICWS) 2006, Chicago, USA, Sept. 18-22, 2006.
12. S. Koizumi, K. Koyama, "Workload-aware Business Process Simulation with Statistical Service Analysis and Timed Petri Net," In proceeding of International Conference on Web Services (ICWS) 2007, Salt Lake City, Utah, USA, July 9-13, 2007.
13. D. Lübke, "Unit Testing BPEL Compositions," in Book Test and Analysis of Web Services, Springer, 2007, pp. 149-171.
14. P. Mayer, D. Lubke, "Towards a BPEL Unit Testing Framework", in Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications, Portland, Maine, 2006.
15. th Australian Software Engineering Conference(ASWEC), 2007. Australian 2007, pp. 90-100.
16. S. Thatte, "XLANG Web Service for Business Process Design," 2001. Available at: http://xml.coverpages.org/XLANG-C-200106.html
17. Web Services Flow Language (WSFL), Available at: http://xml.coverpages. org/wsfl.html
18. Workflow Management Coalition, "Workflow Management Coalition Terminology & Glossary," available at: http://www.wfinc.org/standards/ docs/ TC-1011-term-glossary-v3.pdf
19. Workflow Management Coalition, "Workflow Process Definition Interface-XML Process Definition Language," available at: http://xml.coverpages.org/XPDL20010522.pdf
20. J. Yu, T. P. Manh, J. Han, Y. Jin, et al., "Pattern Based Property Specification and Verification for Service Composition," Web Information Systems-WISE 2006, vol. 4255/2006, 2006.