Service Discovery and Negotiation With COWS

Electronic Notes in Theoretical Computer Science

Volumn 200, Issue 3, 2008, Pages 133-154

  Lapadula, Alessandro ^a   Pugliese, Rosario ^a   Tiezzi, Francesco ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

Author keywords

negotiation; process calculi; Service discovery; service level agreement; service orchestration

Indexed keywords

COMPUTER SIMULATION; DATA MINING; DATA TRANSFER; NETWORK ARCHITECTURE; NETWORK PROTOCOLS; PUBLISHING; QUALITY OF SERVICE;

PROCESS CALCULI; SERVICE DISCOVERY; SERVICE LEVEL AGREEMENT; SERVICE ORCHESTRATION;

WEB SERVICES;

EID: 44049102259     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2008.04.097     Document Type: Article

References (44)

1. A. Andrieux, K. Czajkowski, A. Dan, K. Keahey, H. Ludwig, T. Nakata, J. Pruyne, J. Rofrano, S. Tuecke, and M. Xu. Web Services Agreement Specification (WS-Agreement). Technical report, Grid Resource Allocation Agreement Protocol (GRAAP) WG, 2007. Available at http://www.ogf.org
2. Bacciu D., Botta A., and Melgratti H. A fuzzy approach for negotiating quality of services. TGC. LNCS volume 4661 (2006), Springer 200-217
3. Bartoletti M., Degano P., and Ferrari G. Security Issues in Service Composition. Proceedings of FMOODS 2006. 8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems. Lecture Notes in Computer Science volume 4037 (2006) 1-16
4. Bistarelli S. Semirings for Soft Constraint Solving and Programming. LNCS 2962 (2004), Springer, Berlin
5. Bistarelli S., Montanari U., and Rossi F. Semiring-based constraint satisfaction and optimization. Journal of the ACM 44 2 (1997) 201-236
6. Bistarelli S., Montanari U., and Rossi F. Soft concurrent constraint programming. ACM Trans. Comput. Log. 7 3 (2006) 563-589
7. Boreale M., Bruni R., Caires L., De Nicola R., Lanese I., Loreti M., Martins F., Montanari U., Ravara A., Sangiorgi D., Vasconcelos V.T., and Zavattaro G. SCC: a Service Centered Calculus. WS-FM. LNCS volume 4184 (2006), Springer 38-57
8. Bravetti M., and Zavattaro G. Contract based multi-party service composition. FSEN. LNCS volume 4767 (2007), Springer 207-222
9. Buscemi M., and Montanari U. CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements. ESOP. LNCS volume 4421 (2007), Springer 18-32
10. Busi N., Gorrieri R., Guidi C., Lucchi R., and Zavattaro G. Choreography and orchestration conformance for system design. COORDINATION. LNCS volume 4038 (2006), Springer 63-81
11. Butler M.J., Hoare C.A.R., and Ferreira C. A trace semantics for long-running transactions. 25 Years Communicating Sequential Processes. LNCS volume 3525 (2005), Springer 133-150
12. Carbone M., Honda K., and Yoshida N. Structured communication-centred programming for web services. ESOP. LNCS volume 4421 (2007), Springer 2-17
13. De Nicola R., Ferrari G., Montanari U., Pugliese R., and Tuosto E. A Formal Basis for Reasoning on Programmable QoS. Verification: Theory and Practice. LNCS volume 2772 (2003), Springer 436-479
14. De Nicola R., Ferrari G., Montanari U., Pugliese R., and Tuosto E. A Process Calculus for QoS-Aware Applications. COORDINATION. LNCS volume 3454 (2005), Springer 33-48
15. Díaz J.F., Rueda C., and Valencia F.D. π+-calculus: A calculus for concurrent processes with constraints. CLEI Electron. J. 1 2 (1998)
16. Fantechi A., Gnesi S., Lapadula A., Mazzanti F., Pugliese R., and Tiezzi F. A model checking approach for verifying COWS specifications. Available at (2007). http://rap.dsi.unifi.it/cows/ Technical report
17. Fournet C., and Gonthier G. The reflexive cham and the join-calculus. POPL '96 (1996), ACM Press 372-385
18. Freuder E.C., and Wallace R.J. Partial constraint satisfaction. Artif. Intell. 58 1-3 (1992) 21-70
19. Gelernter D. Generative communication in linda. ACM Trans. Program. Lang. Syst. 7 1 (1985) 80-112
20. Gilmore S.T., and Tribastone M. Evaluating the scalability of a web service-based distributed e-learning and course management system. WS-FM. LNCS volume 4184 (2006), Springer 214-226
21. Guidi C., Lucchi R., Gorrieri R., Busi N., and Zavattaro G. SOCK: a calculus for service oriented computing. ICSOC. LNCS volume 4294 (2006), Springer 327-338
22. Hung P.C.K., Li H., and Jeng J. WS-Negotiation: an overview of research issues. HICSS volume 01 (2004), IEEE Computer Society
23. Keller A., and Ludwig H. The WSLA Framework: Specifying and Monitoring Service Level Agreements for Web Services. Journal of Network and Systems Management, Special Issue on E-Business Management 11 1 (2003)
24. Laneve C., and Padovani L. Smooth orchestrators. FoSSaCS. LNCS volume 3921 (2006), Springer 32-46
25. Laneve C., and Zavattaro G. Foundations of web transactions. FoSSaCS. LNCS volume 3441 (2005), Springer 282-298
26. A. Lapadula, R. Pugliese, and F. Tiezzi. A Calculus for Orchestration of Web Services (full version). Technical report, Dipartimento di Sistemi e Informatica, Univ. Firenze, 2006. Available at http://rap.dsi.unifi.it/cows
27. Lapadula A., Pugliese R., and Tiezzi F. A WSDL-based type system for WS-BPEL. COORDINATION. LNCS volume 4038 (2006), Springer 145-163
28. Lapadula A., Pugliese R., and Tiezzi F. A Calculus for Orchestration of Web Services. ESOP. LNCS volume 4421 (2007), Springer 33-47
29. Lapadula A., Pugliese R., and Tiezzi F. Regulating data exchange in service oriented applications. FSEN. LNCS volume 4767 (2007), Springer 223-239
30. Lazovik A., Aiello M., and Gennari R. Encoding requests to web service compositions as constraints. CP. LNCS volume 3709 (2005), Springer 782-786
31. H. Ludwig, A. Keller, A. Dan, R.P. King, and R. Franck. WSLA language specification version 1.0. Technical report, IBM Corporation, 2003. Available at http://www.research.ibm.com/wsla
32. Meredith L.G., and Bjorg S. Contracts and types. Commun. ACM 46 10 (2003) 41-47
33. Milner R., Parrow J., and Walker D. A calculus of mobile processes, I and II. Inf. Comput. 100 1 (1992) 1-77
34. Montanari U., and Rossi F. Constraint relaxation may be perfect. Artif. Intell. 48 2 (1991) 143-170
35. Nestmann U., and Pierce B.C. Decoding choice encodings. CONCUR (1996), Springer 179-194 volume 1119
36. OASIS WSBPEL TC. Web Services Business Process Execution Language Version 2.0. Technical report, OASIS, April 2007. Available at http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html
37. Prandi D., and Quaglia P. Stochastic COWS. ICSOC. LNCS volume 4749 (2007), Springer 245-256
38. Saraswat V.A., and Rinard M.C. Concurrent constraint programming. POPL (1990), ACM Press 232-245
39. Vijay A. Saraswat, Martin C. Rinard, and Prakash Panangaden. Semantic foundations of concurrent constraint programming. In POPL, pages 333-352, 1991
40. Srinivasan N., Paolucci M., and Sycara K. Semantic web service discovery in the OWL-S IDE. HICSS volume 6 (2006), IEEE Computer Society
41. Sycara K., Paolucci M., Ankolekar A., and Srinivasan N. Automated discovery, interaction and composition of semantic web services. J. Web Sem. 1 1 (2003) 27-46
42. F. van Breugel and M. Koshkina. Models and verification of BPEL. Technical report, DRAFT, 2006. Available at http://www.cse.yorku.ca/~franck/research/drafts/tutorial.pdf
43. M. Wirsing, G. Denker, C. Talcott, A. Poggio, and L. Briesemeister. A rewriting logic framework for soft constraints. In WRLA 2006, 6th International Workshop on Rewriting Logic and its Applications, April 2006. To appear in ENTCS, 2006
44. Wischik L., and Gardner P. Explicit fusions. Theor. Comput. Sci. 340 3 (2005) 606-630