A theory of contracts for strong service compliance

Mathematical Structures in Computer Science

Volumn 19, Issue 3, 2009, Pages 601-638

  Bravetti, Mario ^a   Zavattaro, Gianluigi ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CHARACTERISATION; SERVICE COMPOSITIONS;

CHEMICAL ANALYSIS;

EID: 69749094917     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0960129509007658     Document Type: Article

References (20)

1. Bravetti, M. and Zavattaro, G. (2007a) Contract based Multi-party Service Composition. In: FSEN'07. Springer-Verlag Lecture Notes in Computer Science 4767 207-222.
2. Bravetti, M. and Zavattaro, G. (2007b) Towards a Unifying Theory for Choreography Conformance and Contract Compliance. In: SC'07. Springer-Verlag Lecture Notes in Computer Science 4829 34-50.
3. Busi, N., Gorrieri, R., Guidi, C., Lucchi, R. and Zavattaro, G. (2005) Choreography and orchestration: A synergic approach for system design. In: Springer-Verlag Lecture Notes in Computer Science 3826 228-240.
4. Busi, N., Gorrieri, R., Guidi, C., Lucchi, R. and Zavattaro, G. (2006) Choreography and orchestration conformance for system design. In: Springer-Verlag Lecture Notes in Computer Science 4038 63-81.
5. Carbone, M., Honda, K. and Yoshida, N. (2007) Structured Communication-Centred Programming for Web Services. In: ESOP'07. Springer-Verlag Lecture Notes in Computer Science 4421 2-17.
6. Carbone, M., Honda, K., Yoshida, N., Milner, R., Brown, G. and Ross-Talbot, S. (2006) A Theoretical Basis of Communication-Centred Concurrent Programming. WCD-Working Note. Available at: http://www.dcs.qmul.ac.uk/ ~carbonem/cdlpaper/workingnote.pdf
7. Carpineti, S., Castagna, G., Laneve, C. and Padovani, L. (2006) A Formal Account of Contracts for Web Services. In: WS-FM'06. Springer-Verlag Lecture Notes in Computer Science 4184 148-162.
8. Castagna, G., Gesbert, N. and Padovani, L. (2008) A Theory of Contracts for Web Services. In: POPL'08 , ACM Press 261-272.
9. De Nicola, R. and Hennessy, M. (1984) Testing Equivalences for Processes. Theoretical Computer Science 34 83-133.
10. Fournet, C., Hoare, C. A. R., Rajamani, S. K. and Rehof, J. (2004) Stuck-Free Conformance. In: CAV'04. Springer-Verlag Lecture Notes in Computer Science 3114 242-254.
11. Kobayashi, N. (2000) Type Systems for Concurrent Processes: From Deadlock-Freedom to Livelock-Freedom, Time-Boundedness. In: IFIP TCS'00 Springer-Verlag Lecture Notes in Computer Science 1872 365-389.
12. Laneve, C. and Padovani, L. (2007) The must preorder revisited - An algebraic theory for web services contracts. In: Concur'07. Springer-Verlag Lecture Notes in Computer Science 4703 212-225.
13. Leymann, F. (2001) Web Services Flow Language (wsfl 1.0). Technical report, IBM Software Group.
14. Lohmann, N. (2008) Why does my service have no partners? In: WS- Springer-Verlag Lecture Notes in Computer Science (to appear).
15. Milner, R. (1989) Communication and Concurrency, Prentice-Hall.
16. Rensink, A. and Vogler, W. (2005) Fair testing. Information and Computation 205 125-198.
17. OASIS (2003) WS-BPEL: Web Services Business Process Execution Language Version 2.0. Technical report.
18. Thatte, S. (2001) XLANG: Web services for business process design. Technical report, Microsoft Corporation.
19. Weinberg, D. (2008) Efficient Controllability Analysis of Open Nets. In: WS- Springer-Verlag Lecture Notes in Computer Science (to appear).
20. W3C (2004) WS-CDL: Web Services Choreography Description Language. Technical report, W3C.