R. Allen and D. Garlan, A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology, vol.6, issue.3, pp.213-249, 1997.
DOI : 10.1145/258077.258078
URL : https://hal.archives-ouvertes.fr/hal-00444067

B. Benatallah, F. Casati, and F. Toumani, Web service conversation modeling, IEEE Internet Computing, pp.46-54, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00108317

M. Berger and K. Honda, The two-phase commitment protocol in an extended pi-calculus, Electronic Notes in Theoretical Computer Science, EXPRRESS'00, 7th International Workshop on Expressiveness in Concurrency, 2003.

K. Bhargavan, C. Fournet, and A. Gordon, A semantics for web services authentication, Proceedings of the 31st ACM Symposium on Principles of Programming Languages (POPL'01), 2004.

A. P. Black, V. Cremet, R. Guerraoui, and M. Odersky, An Equational Theory for Transactions, Proceedings of the 23rd Conference on Foundations of Software Technology and Theoretical Computer Science, 2003.
DOI : 10.1007/978-3-540-24597-1_4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.1186

L. Bocchi, C. Laneve, and G. Zavattaro, A calculus for longrunning transactions, Proceedings of the 6th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems, 2003.

F. Curbero, Y. Goland, J. Klein, F. Leymann, D. Roller et al., Business Process Execution Language for Web Services, Version 1.0, OASIS, 2002.

M. Gaudel, V. Issarny, C. Jones, H. Kopetz, E. Marsden et al., DSoS Conceptual Model, pp.1999-11585, 2003.

J. E. Hanson, P. Nandi, and D. Levine, Conversation-enabled web services for agents and e-business, Proceedings of the International Conference on Internet Computing (IC-02), 2002.

V. Issarny, D. Sacchetti, F. Tartanoglu, F. Sailhan, R. Chibout et al., Developing Ambient Intelligence Systems: A Solution based on Web Services, Automated Software Engineering, vol.12, issue.1, 2004.
DOI : 10.1023/B:AUSE.0000049210.42738.00
URL : https://hal.archives-ouvertes.fr/inria-00414951

H. F. Korth, E. Levy, and A. Silberschatz, A formal approach to recovery by compensating transactions, The VLDB Journal, pp.95-106, 1990.

L. Meredith and S. Bjorg, Contracts and types, Communications of the ACM, vol.46, issue.10, pp.41-47, 2003.
DOI : 10.1145/944217.944236

. Microsoft, I. W. Bea, ]. T. Services-transaction15, S. Mikalsen, I. Tai et al., Transactional attitudes: Reliable composition of autonomous Web services Workshop on Dependable Middleware-based Systems Communicating and Mobile Systems: The ?- Calculus Ontology support for Web service processes, Proc. of the Joint 9th European Software Engineering Conference (ESEC) and 11th SIGSOFT Symposium on the Foundations of Software Engineering (FSE), 2003. [18] P. Pires, M. Benevides, and M. Mattoso. Web, Web-Services, and Database Systems 2002, chapter Building Reliable Web Services Compositions, pp.59-72, 1999.

]. K. Frolund, ]. Sangiorgi, D. Walker21-]-f, V. Tartanoglu, A. Issarny et al., cl: A language for formally defining web services interactions The pi-calculus: A Theory of Mobile Processes Dependability in the Web services architecture Available at http://www-rocq.inria.fr/arles/doc/doc.html. [22] The OWL Services Coalition at the World Wide Web Consortium . Owl-s: Semantic markup for web service, Architecting Dependable Systems Web Databases and Web Services, pp.129-140, 2001.

X. Yi and K. Kochut, Version 1.0, 1999. W3C Recommendation Process composition of Web services with complex conversation protocols: a colored Petri nets based approach Zarras and V. Issarny. A framework for systematic synthesis of transactional middleware, Proceedings of Advanced Simulation Technology Conference DASD2004 Proceedings of Middleware98 ? The IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing, 1998.