Foundations for Web Services Orchestrations: Functional and QoS aspects, jointly

Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

Volumn , Issue , 2006, Pages 309-316

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

^a CAMPUS DE BEAULIEU   (France)

^b UNIVERSITÉ PARIS SACLAY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; PETRI NETS; QUALITY OF SERVICE; WEBSITES;

END-TO-END QOS; MATHEMATICAL BASIS; MODELING BASED ON COLORED PETRI NETS; WEB SERVICES ORCHESTRATION;

WEB SERVICES;

EID: 77956428711     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISoLA.2006.8     Document Type: Conference Paper

References (27)

1. G. Anderson. Nonparametric tests of stochastic dominance in income distributions. Econometrica, 64(5), 1183-1193, 1996.
2. Business Process Execution Language for Web Services. [BPEL4WS.] Version 1.1. 5-May-2003. 136 pages. http://xml.coverpages.org/BPELv11-May052003Final.pdf
3. R. Devillers and H. Klaudel. Solving Petri Net Recursions Through Finite Representation. Proc of IASTED'04.
4. J. Arias-Fisteus, L. Sánchez Fernández, and C. Delgado Kloos. Applying model checking to BPEL4WS business collaborations. SAC 2005: 826-830.
5. V. Firiou, J-Y. Le Boudec, D. Towsley, and Z-L. Zhang. Theories and models for Internet Quality of Service. Proc. of the IEEE, 90(9), 1565-1591, 2002.
6. S. Hinz, K. Schmidt, and C. Stahl: Transforming BPEL to Petri Nets. Business Process Management 2005: 220-235.
7. Web Services Choreography Description Language - WS-CDL, version 1.0. http://www.w3.org/2002/ws/chor/edcopies/cdl/cdl.html
8. C. Laneve and G. Zavattaro. Foundations of Web Transactions. FoS-SaCS 2005: 282-298.
9. A. Martens. Analysis and re-engineering of Web Services. Proc. of 6th International Conference on Enterprise Information Systems (ICEIS'04). Porto, Portugal, 2004.
10. D. A. Menascé, V. A. F. Almeida. Capacity Planning for Web Services: metrics, models, and methods. Prentice Hall, 2001.
11. J. Misra, D. Kitchin and W. Cook. A Language for Task Orchestration and its Semantic Properties. CONCUR 2006.
12. W. Cook, S. Patwardhan and J. Misra. Workflow Patterns in Orc. Coordination 2006.
13. W. R. Cook and J. Misra. Implementation Outline of Orc. See www.cs.utexas.edu/users/wcook/projects/orc/
14. Müller, A., and Scarsini, M. Stochastic comparison of random vectors with a common copula, Mathematics of Operations Research 26, 723-740, 2001.
15. C. Ouyang, E. Verbeek, W.M.P. van der Aalst, S. Breutel, M. Dumas, and A.H.M. Hofstede. Formal semantics and analysis of control flow in WS-BPEL. Research report, Queensland university of technology, 2005. http://is.tm.tue.nl/ staff/wvdaalst/BPMcenter/reports/2005/BPM-05-15.pdf
16. W. Reisig: Modeling- and Analysis Techniques for Web Services and Business Processes. FMOODS 2005: 243-258.
17. 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.
18. S. Rosario, A. Benveniste, S. Haar, and C. Jard. Net systems semantics of Web Services Orchestrations modeled in ORC. IRISA Res. Rep. Nr 1780. Jan 2006. http://www.irisa.fr/distribcom/benveniste/pub/Rosario-PI-2006.pdf
19. A. Sahai, V. Machiraju, M. Sayal, Aad P. A. van Moorsel, and F. Casati. Automated SLA Monitoring for Web Services. DSOM 2002: 28-41.
20. K. Schmidt and Ch. Stahl. A Petri net semantic for BPEL4WS - validation and application. In E. Kindler (Ed.): Proc. 11th Workshop on Algorithms and Tools for Petri Nets (AWPN'04), Paderborn, 2004, pp. 1-6.
21. 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.
22. M. Tian, A. Gramm, T. Naumowicz, H. Ritter, J. Schiller. A Concept for QoS Integration in Web Services. 1st Web Services Quality Workshop WISE/WQW 2003, Rome, Italy, December 2003.
23. M. Lin, J. Xie, H. Guo, and H. Wang. Solving QoS-Driven Web Service Dynamic Composition as Fuzzy Constraint Satisfaction. Proceedings of the IEEE International Conference on e-Technology, eCommerce and e-Service, Hong Kong, China, March-April 2005.
24. M. Viroli. Towards a Formal Foundation to Orchestration Languages. Electr. Notes Theor. Comput. Sci. 105: 51-71 (2004).
25. K. Schmidt. Distributed Usability of Web Services. In E. Kindler (Ed.): Proc. 11th Workshop on Algorithms and Tools for Petri Nets (AWPN'04), Paderborn, 2004, pp. 19-24.
26. L. Zeng, B. Benatallah, M. Dumas, J. Kalagnanam, and Q.Z. Sheng. Quality driven Web services composition. Proc. of WWW2003, Budapest, May 20-24, 2003.
27. V. Tosic, B. Pagurek, K. Patel, WSOL A Language for the Formal Specification of Classes of Service for Web Services. Research Report OCIECE, Feb 2003.