A theory for strong service compliance

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

Volumn 4467 LNCS, Issue , 2007, Pages 96-112

  Bravetti, Mario ^a   Zavattaro, Gianluigi ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

MESSAGE PASSING; WEB SERVICES;

COMPLIANT SERVICES; LIVELOCK FREE; SERVICE COMPLIANCE;

AUTOMATA THEORY;

EID: 37149034722     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-72794-1_6     Document Type: Conference Paper

References (12)

1. Bravetti, M., Zavattaro, G.: Contract based Multi-party Service Composition. In: FSEN'07, volume to appear of LNCS (2007)
2. Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and orchestration: A synergic approach for system design. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 228-240. Springer, Heidelberg (2005)
3. Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and orchestration conformance for system design. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol. 4038, pp. 63-81. Springer, Heidelberg (2006)
4. Carbone, M., Honda, K., Yoshida, N.: Structured Communication-Centred Programming for Web Services. In: ESOP'07, volume to appear of LNCS (2007)
5. Carpineti, S., Castagna, G., Laneve, C., Padovani, L.: A Formal Account of Contracts for Web Services. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 148-162. Springer, Heidelberg (2006)
6. De Nicola, R., Hennessy, M.: Testing Equivalences for Processes. Theoretical Computer Science 34, 83-133 (1984)
7. Fournet, C., Hoare, C.A.R., Rajamani, S.K., Rehof, J.: Stuck-Free Conformance. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol. 3114, pp. 242-254. Springer, Heidelberg (2004)
8. Leymann, F.: Web Services Flow Language (wsfl 1.0). Technical report, IBM Software Group (2001)
9. Rensink, A., Vogler, W.: Fair testing. CTIT Technical Report TR-CTIT-05-64, Dep. of Computer Science, University of Twente (2005)
10. OASIS. Web Services Business Process Execution Language Version 2.0. http://www.oasis-open.org/committees/download.php/10347/wsbpel-specification- draft-120204.htm
11. Thatte, S.: XLANG: Web services for business process design. Microsoft Corporation (2001)
12. W3C. Web Services Choreography Description Language. http://www.w3.org/ TR/2004/WD-ws-cdl-10-20041217/