Transactional service level agreement

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4912 LNCS, Issue , 2008, Pages 124-139

  Buscemi, Maria Grazia ^a   Melgratti, Hernán ^a  

^a IMT   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

LINGUISTICS; MATHEMATICAL MODELS; SEMANTICS;

LABELLED TRANSITION SYSTEMS; TRANSACTIONAL SERVICE;

WEB SERVICES;

EID: 41549169603     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78663-4_10     Document Type: Conference Paper

References (15)

1. Acciai, L., Boreale, M., dal Zilio, S.: A concurrent calculus with atomic transactions. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, Springer, Heidelberg (2007)
2. Bacciu, D., Botta, A., Melgratti, H.: A fuzzy approach for negotiating quality of services. In: Montanari, U., Sannella, D., Bruni, R. (eds.) TGC 2007. LNCS, vol. 4661, Springer, Heidelberg (2007)
3. Bistarelli, S., Montanari, U., Rossi, F.: Semiring-based constraint satisfaction and optimization. Journal of the ACM 44(2), 201-236 (1997)
4. Bocchi, L., Laneve, C., Zavattaro, G.: A calculus for long-running transactions. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol. 2884, pp. 124-138. Springer, Heidelberg (2003)
5. Bruni, R., Melgratti, H., Montanari, U.: Nested commits for mobile calculi: extending Join. In: Proc. of the 3rd IFIP-TCS 2004, 3rd IFIP Intl. Conference on Theoretical Computer Science, pp. 569-582. Kluwer Academic Publishers, Dordrecht (2004)
6. Bruni, R., Melgratti, H., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: POPL 2005: Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 209-220. ACM Press, New York (2005)
7. Buscemi, M.G., Montanari, U.: Cc-pi: A constraint-based language for specifying service level agreements. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, Springer, Heidelberg (2007)
8. Butler, M., Hoare, T., Ferreira, C.: A trace semantics for long-running transactions. In: Abdallah, A.E., Jones, C.B., Sanders, J.W. (eds.) Communicating Sequential Processes. LNCS, vol. 3525, pp. 133-150. Springer, Heidelberg (2005)
9. Fournet, C., Gonthier, G.: The reflexive chemical abstract machine and the Join calculus. In: Proc. of 23rd Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages (POPL 1996), pp. 372-385. ACM Press, New York (1996)
10. Keller, A., Ludwig, H.: The WSLA framework: Specifying and monitoring service level agreements for web services. Jour. Net. and Sys. Manag. 11(1), 57-81 (2003)
11. Laneve, C., Zavattaro, G.: Foundations of web transactions. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol. 3441, pp. 282-298. Springer, Heidelberg (2005)
12. Milner, R., Parrow, J., Walker, J.: A calculus of mobile processes, I and II. Inform. and Comput. 100(1), 1-77 (1992)
13. Saraswat, V., Rinard, M.: Concurrent constraint programming. In: Proc. of the 17th. Symposium on Principles of programming languages (POPL 1990), ACM Press, New York. (1990)
14. Skene, J., Lamanna, D., Emmerich, W.: Precise service level agreements. In: Proc. of the 26th International Conference on Software Engineering (ICSE 2004) (2004)
15. Wischik, L., Gardner, P.: Explicit fusions. Theoret. Comput. Sci. 340(3), 606-630 (2005)