Probabilistic QoS and soft contracts for transaction based Web services orchestrations

Proceedings - 2007 IEEE International Conference on Web Services, ICWS 2007

Volumn , Issue , 2007, Pages 126-133

  Rosario, Sidney ^a   Benveniste, Albert ^a   Haar, Stefan ^b   Jard, Claude ^c  

^a CAMPUS DE BEAULIEU   (France)

^b UNIVERSITY OF OTTAWA   (Canada)

^c UNIVERSITÉ PARIS SACLAY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION SERVICES; PROBABILITY; PROBABILITY DISTRIBUTIONS; QUALITY OF SERVICE; WEB SERVICES; WORLD WIDE WEB;

INTERNATIONAL CONFERENCES; QUALITY OF SERVICE (QOS); QUALITY OF SERVICE (QOS) PARAMETERS; RESPONSE TIME;

CONTRACTS;

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

References (30)

1. G. Anderson. Nonparametric tests of stochastic dominance in income distributions. Econometrica, 64(5), 1183-1193. 1996.
2. W.M.P. van der Aalst and K.M. van Hee. Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge. MA, USA, 2002.
3. P. Bhoj, S. Singhal, and S. Chutani. SLA Management in Federated Environments. In M. Sloman, S. Mazumdar, and E. Lupu, editors, Proc. of Sixth IFIP/IEEE Symposium on Integrated Network Management, IM 99, pages 293-308.
4. T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte (Editor), I. Trickovic, and S. Weerawarana. Business Process Execution Language for Web Services. [BPEL4WS.] Version 1.1. 5-May-2003. 136 pages. http://xml.coverpages.org/BPELv11-May052003Final.pdf
5. W.M.P van der Aalst. Verification of workflow nets. Application and Theory of Petri Nets 1997. volume 1248 of LNCS, pages 407-426.
6. Andries van Dijk. Contracting Workflows and Protocol Patterns. Business Process Management 2003, Wil M. P. van der Aalst and Arthur H. M. ter Hofstede and Mathias Weske Eds., LNCS 2678, 152-167, 2003.
7. F. Puhlmann, M. Weske: Using the Pi-Calculus for Formalizing Workflow Patterns. In W.M.P. van der Aalst et al. (Eds.): BPM 2005, volume 3649 of LNCS, Nancy, France, Springer-Verlag (2005) 153-168.
8. C. Ouyang, E. Verbeek, W.M.P van der Aalst and S. Breutel. Formal Semantics and Analysis of Control Flow in WS-BPEL. BPM Center Report BPM-05-15, BPMcenter.org, 2005.
9. W.M.P. van der Aalst, B.K van Dongen, J. Herbst, L. Maruster, G. Schimm, and A.J.M.M. Weijters. Workflow Mining: A Survey of Issues and Approaches. Data and Knowledge Engineering, 47(2):237-267, 2003.
10. J. Arias-Fisteus, L. Sánche Fernández, and C. Delgado Kloos. Applying model checking to BPEL4WS business collaborations. SAC 2005: 826-830.
11. V. Firiou, J-Y. Le Boudce, D. Towsley, and Z-L. Zhang. Theories and models for Internet Quality of Service. Proc. of the IEEE, 90(9), 1565-1591, 2002.
12. Keller A., Ludwig H., The WSLA Framework: Specifying and Monitoring Service Level Agreements for Web Services. Journal of Network and Systems Management, Vol. 11, No 1, Plenum Publishing, pp. 57-81.
13. N. Kavantzas, D. Burdett, G. Ritzinger, T. Fletcher, Y. Lafon. Web Services Choreography Description Language - WS-CDL. version 1.0. http://www.w3.org/2002/ws/chor/edcopies/cdl/cdl.html
14. METEOR-S: Semantic Web Services and Processes http://swp.semanticweb.org/
15. R. Aggarwal, K. Verma, J. Miller and W. Milnor. Constraint Driven Web Service Composition in METEOR-S, Proc. of IEEE International Conference on Services Computing. SCC 2004.
16. J. Cardoso. A. Sheth. J. Miller, J. Arnold, and K. Kochut, Quality of Service for Workflows and Web Service Processes, Journal of Web Semantics 2004.
17. L. Zeng, B. Benatallah, A. Ngu, M. Dumas, J. Kalagnanam, and H. Chang. "QoS aware Middleware for Web Service Composition" IEEE Transactions on Software Engineering, volume 30, issue 5, 2004.
18. X. Nguyen, R. Kowalczyk, and M. Phan. "Modelling and Solving QoS Composition Problem Using Fuzzy DisCSP" Intl Conference on Web Services, ICWS 2006.
19. G. Canfora, M. D. Penta, R. Esposito, and M. L. Villani. An Approach for QoS-aware Service Composition based on Genetic Algorithms. Genetic and Evolutionary Computation Conference, GECCO 2005.
20. Z. Liu, M. S. Squillante, and J. L. Wolf. On Maximizing Service-Level-Agreement Profits. ACM E-Commerce Conference, Tampa, FL. October 2001
21. P. Baldan. A. Corradini, U. Montanari Contextual Petri nets, asymmetric event structures and processes Information and Computation 171 (1) (2001), pp. 1-49.
22. A.C. Davison, and D.V. Hinkley. Bootstrap Methods and their Application. Cambridge University Press, 1997.
23. Jayadev Misra and William Cook. Computation orchestration: A Basis for Wide-Area Computing. Journal of Software and Systems Modeling. May 2006.
24. W. R. Cook and J. Misra. Implementation Outline of Ore. See www.cs.utexas.edu/users/wcook/projects/orc/
25. D. Kitchin, W. Cook, J. Misra, A. Benveniste, S. Haar, C. Jard and S. Rosario. Event Structure Semantics for Orc. in preparation, 2007.
26. W. Reisig: Modeling- and Analysis Techniques for Web Services and Business Processes. FMOODS 2005: 243-258.
27. A. Sahai, V. Machiraju, M. Sayal, Aad P. A. van Moorsel, and F. Casati. Automated SLA Monitoring for Web Services. DSOM 2002: 28-41.
28. H. G. Song and K. Lee: sPAC (Web Services Performance Analysis Center): Performance Analysis and Estimation Tool of Web Services. Business Process Management 2005: 109-119.
29. XMethods. http://www.xmethods.net.
30. The SWAN project. http://swan.elibel.tm.fr