A. Arkin, Business Process Modeling Language, 2002.

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. Systems, . Ibm, S. Microsoft, S. Ag, and . Systems, Business Process Execution Language for Web Services, Version 1.1, 2005.

B. Systems, . Ibm, T. Microsoft, and . Software, Web services reliable messaging protocol (ws-reliablemessaging), 2004.

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

B. Benatallah, M. Dumas, and Q. Z. Sheng, Facilitating the Rapid Development and Scalable Orchestration of Composite Web Services, Distributed and Parallel Databases, vol.17, issue.1, pp.5-37, 2005.
DOI : 10.1023/B:DAPD.0000045366.15607.67

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.

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

Y. Bromberg and V. Issarny, INDISS: Interoperable Discovery System for Networked Services, Proceedings of Middleware'2005, 2005.
DOI : 10.1007/978-3-540-39800-4_1
URL : https://hal.archives-ouvertes.fr/hal-00353571

T. Bultan, X. Fu, R. Hull, and J. Su, Conversation specification, Proceedings of the twelfth international conference on World Wide Web , WWW '03, 2003.
DOI : 10.1145/775152.775210

R. H. Campbell and A. N. Habermann, The specification of process synchronization by path expressions, Operating Systems Proceedings of an International Symposium, pp.89-102, 1974.
DOI : 10.1007/BFb0029355

R. H. Campbell and B. Randell, Error recovery in asynchronous systems, IEEE Transactions on Software Engineering, vol.12, issue.8, pp.12811-826, 1986.
DOI : 10.1109/TSE.1986.6312984

F. Cristian, Dependability of Resilient Computers, chapter Exception Handling, Blackwell Scientific Publications, pp.68-97, 1989.

A. Elfatatry and P. Layzell, Negotiating in service-oriented environments, Communications of the ACM, vol.47, issue.8, pp.47103-108, 2004.
DOI : 10.1145/1012037.1012044

W. Emmerich, Engineering Distributed Objects, J. Wiley & Sons, vol.1999, 2000.
DOI : 10.1007/3-540-45254-0

F. Leymann, Web Services Flow Language (WSFL 1.0), may 2001, IBM, 2001.

A. Ferrara, Web services, Proceedings of the 2nd international conference on Service oriented computing , ICSOC '04, pp.242-251, 2004.
DOI : 10.1145/1035167.1035202

H. Foster, S. Uchitel, J. Magee, and J. Kramer, Compatibility verification for Web service choreography, Proceedings. IEEE International Conference on Web Services, 2004., p.738, 2004.
DOI : 10.1109/ICWS.2004.1314806

S. Frolund and K. Govindarajan, cl : A language for formally defining web services interactions, 2003.

X. Fu, T. Bultan, and J. Su, Analysis of interacting BPEL web services, Proceedings of the 13th conference on World Wide Web , WWW '04, pp.621-630, 2004.
DOI : 10.1145/988672.988756

H. Garcia-molina, Using semantic knowledge for transaction processing in a distributed database, ACM Transactions on Database Systems, vol.8, issue.2, pp.186-213, 1983.
DOI : 10.1145/319983.319985

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

J. B. Goodenough, Exception handling: issues and a proposed notation, Communications of the ACM, vol.18, issue.12, pp.683-696, 1975.
DOI : 10.1145/361227.361230
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.122.7791

J. Gray and A. Reuter, Transaction Processing : Concepts and Techniques, 1993.

R. Hamadi and B. Benatallah, A petri net-based model for web service composition, CRPITS'17 : Proceedings of the Fourteenth Australasian database conference on Database technologies 2003, pp.191-200, 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), pp.791-796, 2002.

V. Issarny, An exception handling mechanism for parallel object-oriented programming : Towards reusable, robust distributed software, Journal of Object- Oriented Programming, vol.6, issue.6, pp.29-39, 1993.

R. Jimenez-peris, M. Patino-martinez, S. Woodman, S. Shrivastava, D. Palmer et al., Service specification language, 2003.

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

P. A. Lee and T. Anderson, Fault Tolerance Principles and Practice, volume 3 of Dependable Computing and Fault-Tolerant Systems, 1990.

A. Martens, Analyzing Web Service Based Business Processes, chapter Analyzing Web Service Based Business Processes, pp.19-33, 2005.
DOI : 10.1007/978-3-540-31984-9_3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.457.8713

G. H. Mealy, A method for synthesizing sequential circuits. Bell System Tech, J, vol.34, pp.1045-1079, 1955.

B. Medjahed, A. Bouguettaya, and A. K. Elmagarmid, Composing Web services on the Semantic Web, The VLDB Journal The International Journal on Very Large Data Bases, vol.12, issue.4, pp.333-351, 2003.
DOI : 10.1007/s00778-003-0101-5

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

B. Microsoft and I. , Web Services Coordination (WS-Coordination), 2004.

T. Mikalsen, S. Tai, and I. Rouvellou, Transactional attitudes : Reliable composition of autonomous Web services, DSN 2002, Workshop on Dependable Middleware-based Systems, 2002.

R. Milner, Communicating and Mobile Systems : The ?-Calculus, 1999.

S. Narayanan and S. Mcilraith, Simulation, verification and automated composition of web services, Proceedings of the eleventh international conference on World Wide Web , WWW '02, 2002.
DOI : 10.1145/511446.511457

O. Uddi, Version 3, API Specification, 2004.

M. P. Papazoglou and D. Georgakopoulos, Service-oriented computing, Commun . ACM, vol.46, issue.10, 2003.

P. F. Pires, M. R. Benevides, and M. Mattoso, Mediating heterogeneous Web services, 2003 Symposium on Applications and the Internet, 2003. Proceedings., 2003.
DOI : 10.1109/SAINT.2003.1183068

C. Pu, G. Kaiser, and N. Hutchinson, Split-transaction for open-ended activities, Proceedings of the Fourteenth International Conference on Very Large Data Bases, pp.26-37, 1988.

B. Randell, Recursive structured distributed computing systems, Proceedings of the 3rd Symposium on Reliability in Distributed Software and Database Systems, 1983.

W. Reisig and G. Rozenberg, Lectures on Petri Nets I : Basic Models, volume 1491, Lecture Notes in Computer Science, 1998.

D. Sangiorgi and D. Walker, The pi-calculus : A Theory of Mobile Processes, 2001.

K. Schmidt and C. Stahl, A petri net semantic for bpel, Proceedings of the 11th Workshop AWPN, 2004.

S. Tai, T. Mikalsen, E. Wohlstadter, N. Desai, and I. Rouvellou, Transaction policies for service-oriented computing, Data & Knowledge Engineering, vol.51, issue.1, pp.59-79, 2004.
DOI : 10.1016/j.datak.2003.03.001
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.2223

F. Tartanoglu and V. Issarny, Specifying Web Service Recovery Support with Conversations, Proceedings of the 38th Annual Hawaii International Conference on System Sciences, 2005.
DOI : 10.1109/HICSS.2005.552
URL : https://hal.archives-ouvertes.fr/inria-00414944

F. Tartanoglu, V. Issarny, N. Levy, and A. Romanovsky, Dependability in the Web Services Architecture, Architecting Dependable Systems, pp.89-108, 2003.
DOI : 10.1007/3-540-45177-3_4
URL : https://hal.archives-ouvertes.fr/inria-00414794

F. Tartanoglu, V. Issarny, N. Levy, and A. Romanovsky, Formalizing Dependability Mechanisms in B : From Specification to Development Support, Proceedings of the ICSE Workshop on Architecting Dependable Systems, 2003.

F. Tartanoglu, V. Issarny, A. Romanovsky, and N. Levy, Coordinated Forward Error Recovery for Composite Web Services, Proceedings of the 22 nd IEEE Symposium on Reliable Distributed Systems, pp.167-176, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00414799

F. Tartanoglu, N. Levy, V. Issarny, and A. Romanovsky, Using the B Method for the Formalization of Coordinated Atomic Actions, CS-TR, vol.865, 2004.

. Thatte, Xlang : Web services for business process design Microsoft Corporation, 2001.

R. Tolksdorf, A dependency markup language for web services, Web Databases and Web Services 2002, pp.129-140, 2003.
DOI : 10.1007/3-540-36560-5_10
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.11.6003

W. Web, Service Choreography Interface (WSCI) 1.0, W3C Note, 2002.

J. Xu, B. Randell, A. Romanovsky, C. M. Rubira, R. J. Stroud et al., Fault tolerance in concurrent object-oriented software through coordinated error recovery, Proceedings of the Twenty-Fifth IEEE International Symposium on Fault-Tolerant Computing, pp.499-508, 1995.

J. Xu, A. Romanovsky, and B. Randell, Concurrent exception handling and resolution in distributed object systems, IEEE Transactions on Parallel and Distributed Systems, vol.11, issue.10, pp.1019-1032, 2000.

X. Yi and K. J. Kochut, Process composition of Web services with complex conversation protocols : a colored Petri nets based approach, Proceedings of Advanced Simulation Technology Conference DASD2004, 2004.