Contract compliance and choreography conformance in the presence of message queues

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

Volumn 5387, Issue , 2009, Pages 127-142

  Bravetti, Mario ^a   Zavattaro, Gianluigi ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; SEMANTICS; WEBSITES;

FOUNDATIONAL ASPECTS; LABELED TRANSITION SYSTEMS; LANGUAGE INDEPENDENTS; MESSAGE QUEUES; REALISTIC SCENARIO; STRUCTURED OPERATIONAL SEMANTICS; SYNCHRONOUS COMMUNICATIONS;

WEB SERVICES;

EID: 67649938979     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-01364-5_3     Document Type: Conference Paper

References (24)

1. [ALM+07] van der Aalst, W.M.P., Lohmann, N., Massuthe, P., Stahl, C., Wolf, K.: From Public Views to Private Views - Correctness-by-Design for Services. In: Dumas, M., Heckel, R. (eds.)WS-FM 2007. LNCS, vol.4937, pp. 139-153 Springer, Heidelberg (2008) (Pubitemid 351641722)
2. [BDP02] Boreale, M., De Nicola, R., Pugliese, R.: Trace and Testing Equivalence on Asynchronous Processes. Information and Computation 172(2), 139-164 (2002)
3. [BZ07a] Bravetti, M., Zavattaro, G.: Contract based Multi-party Service Composition. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol.4767, pp. 207-222. Springer, Heidelberg (2007)
4. [BZ07b] Bravetti, M., Zavattaro, G.: Towards a Unifying Theory for Choreography Conformance andContract Compliance. In: Lumpe,M., Vanderperren, W. (eds.) SC 2007. LNCS, vol.4829, pp. 34-50. Springer, Heidelberg (2007) (Pubitemid 351152955)
5. [BZ07c] Bravetti, M., Zavattaro, G.: A Theory for Strong Service Compliance. In: Murphy, A.L., Vitek, J. (eds.) COORDINATION 2007. LNCS, vol.4467, pp. 96-112. Springer, Heidelberg (2007) (Pubitemid 350259722)
6. [BZ08] Bravetti, M., Zavattaro, G.: Contract Compliance and Choreography Conformance in the Presence of Message Queues. Technical report, http://www.cs.unibo.it/~bravetti/html/techreports.html
7. [BGG+05] 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) (Pubitemid 43856188)
8. [CHY07] Carbone, M., Honda, K., Yoshida, N.: Structured Communication- Centred Programming for Web Services. In: De Nicola, R. (ed.) ESOP 2007 LNCS, vol.4421, pp. 2-17. Springer, Heidelberg (2007)
9. [CH98] Castellani, I., Hennessy, M.: Testing Theories for Asynchronous Languages. In: Arvind, V., Ramanujam, R. (eds.) FSTTCS 1998. LNCS, vol.1530, pp. 90-101. Springer, Heidelberg (1998)
10. [CCL+06] Carpineti, S., Castagna, G., Laneve, C., Padovani, L.: A FormalAccount of Contracts forWebServices. In:Bravetti,M.,Núñez,M., Zavattaro,G. (eds.) WS-FM2006. LNCS, vol.4184, pp. 148-162. Springer, Heidelberg (2006)
11. [CGP08] Castagna, G., Gesbert, N., Padovani, L.: A Theory of Contracts for Web Services. In: POPL 2008, pp. 261-272. ACM Press, New York (2008)
12. [DKL+07] Decker, G., Kopp, O., Leymann, F., Weske, M.: BPEL4Chor: Extending BPEL for Modeling Choreographies. In: IEEE 2007 International Conference on Web Services (ICWS), Salt Lake City, Utah, USA. IEEE Copmuter Society, Los Alamitos (2007)
13. [DeN87] De Nicola, R.: Extensional equivalences for transition systems. Acta Informatica 24(2), 211-237 (1887) (Pubitemid 17658219)
14. [DH84] De Nicola, R., Hennessy, M.: Testing Equivalences for Processes. Theoretical Computer Science 34, 83-133 (1984)
15. [FHR+04] 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) (Pubitemid 38940064)
16. [FuBS05] Fu, X., Bultan, T., Su, J.: Synchronizability of Conversations amongWeb Services. IEEE Trans. Software Eng. 31(12), 1042-1055 (2005) (Pubitemid 46395330)
17. [FuBS04] Fu, X., Bultan, T., Su, J.: Conversation protocols: a formalism for speci .cation and verification of reactive electronic services. Theor. Comput. Sci. 328(1-2), 19-37 (2004)
18. [Hoa85] Hoare, T.: Communicating Sequential Processes. Prentice-Hall, Englewood Cli.s (1985)
19. [LP07] Laneve,C., Padovani, L.: Themust preorder revisited -An algebraic theory for web services contracts. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007 LNCS, vol.4703, pp. 212-225. Springer, Heidelberg (2007)
20. [Mil89] Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cli.s (1989)
21. [RV07] Rensink, A., Vogler, W.: Fair testing. Information and Computation 205(2), 125-198 (2007)
22. [OAS] OASIS. Web Services Business Process Execution Language Version 2.0
23. [RR02] Rajamani, S.K., Rehof, J.: Conformance Checking for Models of Asynchronous Message Passing Software. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.2404, pp. 166-179. Springer, Heidelberg (2002)
24. [W3C] W3C. Web Services Choreography Description Language, http://www.w3.org/TR/2004/WD-ws-cdl-10-20041217