Towards a unifying theory for choreography conformance and contract compliance

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

Volumn 4829 LNCS, Issue , 2007, Pages 34-50

  Bravetti, Mario ^a   Zavattaro, Gianluigi ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SUPPORTED COOPERATIVE WORK; INFORMATION SERVICES;

CHOREOGRAPHY; CONTRACT COMPLIANCE; CONTRACT REFINEMENT; HIGH LEVEL SPECIFICATION; SERVICE ORIENTED COMPUTING;

COMPUTATION THEORY;

EID: 38549090009     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-77351-1_4     Document Type: Conference Paper

References (14)

1. Bravetti, M., Zavattaro, G.: Contract based Multi-party Service Composition. In: Roddick, J.F., Hornsby, K. (eds.) TSDM 2000. LNCS (LNAI), vol. 2007, Springer, Heidelberg (2001)
2. Bravetti, M., Zavattaro, G.: Towards a Unifying Theory for Choreography Conformance and Contract Compliance. Technical report available at http://cs.unibo.it/~bravetti
3. 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)
4. 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)
5. Carbone, M., Honda, K., Yoshida, N.: Structured Communication-Centred Programming for Web Services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, Springer, Heidelberg (2007)
6. 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)
7. Carpineti, S., Laneve, C.: A Basic Contract Language for Web Services. In: Sestoft, P. (ed.) ESOP 2006 and ETAPS 2006. LNCS, vol. 3924, pp. 197-213. Springer, Heidelberg (2006)
8. Rocco De Nicola and Matthew Hennessy, Testing Equivalences for Processes. Theoretical Computer Science, volume 34: 83-133 (1984)
9. 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)
10. Leymann, F.: Web Services Flow Language (wsfl 1.0). Technical report, IBM Software Group (2001)
11. Rensink, A., Vogler, W.: Fair testing. CTIT Technical Report TR-CTIT-05-64, Department of Computer Science, University of Twente (December 2005)
12. OASIS. Web Services Business Process Execution Language Version 2.0
13. Thatte, S.: XLANG: Web services for business process design. Microsoft Corporation (2001)
14. W3C Web Services Choreography Description Language, http://www.w3.org/TR/ 2004/WD-ws-cdl-10-20041217