G. Bibliography, D. Alonso, A. Agraval, M. Abbadi, R. Kamath et al., Advanced tansactions models in workflow contexts, 1998.

]. Abr96 and . Abrial, The B-Book, 1996.

[. Alonso, F. Casati, H. Kuno, and V. Machiraju, Web Services -Concepts, Architectures and Applications, 2004.

G. Alonso, U. Fiedler, C. Hagen, A. Lazcano, H. Schuldt et al., WISE: business to business e-commerce, Proceedings Ninth International Workshop on Research Issues on Data Engineering: Information Technology for Virtual Enterprises. RIDE-VE'99, pp.132-139, 1999.
DOI : 10.1109/RIDE.1999.758645

R. Bilorusets, D. Box, L. F. Cabrera, D. Davis, D. Ferguson et al., Web services reliable messaging protocol (ws-reliablemessaging) Technical specification, 2005.

[. Bocchi, P. Ciancarini, and D. Rossi, Transactional Aspects in Semantic Based Discovery of Services, Lecture Notes in Computer Science, vol.39, issue.1, pp.283-297, 2005.
DOI : 10.1016/S1571-0661(05)82502-2

[. Barros, M. Dumas, and P. Oaks, A critical overview of the web services choreography description language (ws-cdl) BP- Trends, 2005.

S. Bhiri, C. Godart, and O. Perrin, Reliable web services composition using a transactional approach e-Technology, e-Commerce and e-Service, pp.15-21, 2005.

S. Bhiri, Approche transactionelle pour assurer des compositions fiables de services web, 2005.

[. Barga, D. Lomet, G. Shegalov, and G. Weikum, Recovery guarantees for Internet applications, ACM Transactions on Internet Technology, vol.4, issue.3, pp.289-328, 2004.
DOI : 10.1145/1013202.1013205

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.188.3972

[. Coupaye and C. Collet, Semantics based implementation of flexible execution models for active database systems, p.0, 1998.

W. Cox, F. Cabrera, G. Copeland, T. Freund, J. Klein et al., Web services transaction (ws-transaction) Technical specification, BEA Systems, International Business Machines Corporation, 2004.

F. Cabrera, G. Copeland, T. Freund, J. Klein, D. Langworthy et al., Web services coordination (ws-coordination) Technical specification, BEA Systems, International Business Machines Corporation, 2004.

[. Chinnici, J. Moreau, A. Ryman, and S. Weerawarana, Web services description language (wsdl) version 2.0 part 1: Core language, Report, 2007.

K. Panayiotis, K. Chrysanthis, and . Ramamritham, Acta: a framework for specifying and reasoning about transaction structure and behavior, SIGMOD '90: Proceedings of the 1990 ACM SIGMOD international conference on Management of data, pp.194-203, 1990.

[. Casati, E. Shan, U. Dayal, and M. Shan, Business-oriented management of Web services, Communications of the ACM, vol.46, issue.10, pp.55-60, 2003.
DOI : 10.1145/944217.944238

C. Delobel and M. Adiba, Bases de données et systèmes relationnels, 1982.

[. Duarte, M. Fauvet, M. Dumas, and B. Benatallah, Vers un modèle de composition de services web avec propiétés transactionelles. Ingénierie des systèmes d'information, pp.9-28, 2005.

J. [. Eswaran, R. A. Gray, I. L. Lorie, and . Traiger, The notions of consistency and predicate locks in a database system, Communications of the ACM, vol.19, issue.11, pp.624-633, 1976.
DOI : 10.1145/360363.360369

A. K. Elmagarmid, Y. Leu, W. Litwin, and M. Rusinkiewicz, A multidatabase transaction model for interbase, Proceedings of the sixteenth international conference on Very large databases, pp.507-518, 1990.

]. A. Elm92 and . Elmagarmid, Database Transaction Models for Advanced Applications, 1992.

T. Erl, Service-Oriented Architecture: Concepts, Technology, and Design, 2005.

P. Furniss, Business transaction protocol. Technical specification, OASIS, 2004.

[. García-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

D. García-molina, J. Gawlick, K. Klein, K. Kleissner, and . Salem, Modeling long-running activities as nested sagas, Data Engineering, vol.14, issue.1, pp.14-18, 1991.

J. Gray, The transaction concept: Virtues and limitations (invited paper ) In Very Large Data Bases, 7th International Conference, pp.144-154, 1981.

C. Hagen and G. Alonso, Exception handling in workflow management systems, IEEE Transactions on Software Engineering, vol.26, issue.10, pp.943-958, 2000.
DOI : 10.1109/32.879818

[. Hernández-baruch, A. Portilla, and J. , ROSE: A transactional services coordination engine, Eighth Mexican International Conference on Current Trends in Computer Science (ENC 2007), pp.122-130, 2007.
DOI : 10.1109/ENC.2007.18

P. Hrastnik and W. Winiwarter, Twso transactional web service orchestrations, Journal of Digital Information Management, vol.4, issue.1, 2006.

[. Lazcano, G. Alonso, H. Schuldt, and C. Schuler, The WISE approach to electronic commerce, International Journal of Computer Systems Science and Engineering, vol.15, issue.5, 2000.

M. Butler, ProB: A model checker for B, FME 2003: Formal Methods, LNCS 2805, pp.855-874, 2003.

D. Lomet, Robust Web Services via Interaction Contracts, Technologies for E-Services, pp.1-14, 2005.
DOI : 10.1007/978-3-540-31811-8_1

F. Leymann and D. Roller, Workflow-based applications, IBM Systems Journal, vol.36, issue.1, 1997.
DOI : 10.1147/sj.361.0102

D. Lomet and G. Weikum, Efficient transparent application recovery in client-server information systems, SIGMOD '98: Proceedings of the 1998 ACM SIGMOD international conference on Management of data, pp.460-471, 1998.

M. Little and J. Webber, Introducing ws-coordination, Web Services Journal, vol.3, issue.5, 2003.

S. Nepal, A. Fekete, P. Greenfield, J. Jang, D. Kuo et al., A Service-Oriented Workflow Language for Robust Interacting Applications, OTM ConferencesOV99] M. Tamer Ozsu and Patrick Valduriez. Principles of distributed database systems, pp.40-58, 1999.
DOI : 10.1007/11575771_6

P. F. Pires, M. R. Benevides, and M. Mattoso, Building Reliable Web Services Compositions, Web, Web-Services, and Database Systems, pp.59-72, 2002.
DOI : 10.1007/3-540-36560-5_5

A. Portilla, C. Collet, G. Vargas-solar, J. Zechinelli-martini, and L. García-bañuelos, Towards a transactional services coordination model, 2006 10th International Database Engineering and Applications Symposium (IDEAS'06), pp.319-320, 2006.
DOI : 10.1109/IDEAS.2006.44

[. Portilla and C. Collet, José-Luis Zechinelli-Martini, and Víctor Hernández-Baruch. Providing persistency guarantees to services coordination, Gelbukh and Adiba [GA08], pp.169-178

A. Portilla, V. Hernández-baruch, G. Vargas-solar, J. Zechinelli-martini, and C. Collet, Building reliable services based mashups, JSWEB, vol.1, pp.151-163, 2008.

[. Portilla, T. Hanh, and J. , Building reliable mobile services based applications, 2008 IEEE 24th International Conference on Data Engineering Workshop, pp.121-128, 2008.
DOI : 10.1109/ICDEW.2008.4498303

A. Portilla, T. Hanh, J. Espinosa-oviedo, C. Collet, and G. Vargas-solar, Construire des applications fiables ?? base de services mobiles, Proceedings of the 4th French-speaking conference on Mobility and buiquity computing , UbiMob '08, pp.57-64, 2008.
DOI : 10.1145/1376971.1376983

A. Portilla, Providing transactional behavior to services coordination, of CEUR Workshop proceedings, 2006.

A. Portilla, Services coordination with transactional properties Master's thesis, 2006.

A. Portilla, Providing reliability to services coordination, Avances en las ciencias de la computación, ENC'08, ENC, pp.136-137, 2008.
URL : https://hal.archives-ouvertes.fr/tel-00665439

A. Portilla, Reliable services coordination for mashing-up systems, Memorias del Primer Encuentro de Estudiantes de Doctorado en Ciencias de la Computacion en México, pp.136-137, 2008.

A. Portilla, G. Vargas-solar, C. Collet, J. Zechinelli-martini, and L. García-bañuelos, A flexible model for providing transactional behavior to service cordination in an orthogonal way, Joaquim Filipe and José A. Moinhos Cordeiro, pp.104-111, 2007.

A. Portilla, G. Vargas-solar, C. Collet, J. Zechinelli-martini, L. García-bañuelos et al., Rose: a transactional services coordination engine, Proceedings of the 23emes Journees Bases de Données Avancees, 2007.

A. Portilla, G. Vargas-solar, C. Collet, J. Zechinelli-martini, and L. García-bañuelos, Contract Based Behavior Model for Services Coordination, Joaquim Filipe and José A. Moinhos Cordeiro WEBIST of Lecture Notes in Business Information Processing, pp.109-123, 2008.
DOI : 10.1007/978-3-540-68262-2_9

A. Portilla, G. Vargas-solar, C. Collet, J. Zechinelli-martini, and L. García-bañuelos, Contract Based Behavior Model for Services Coordination, Web Information Systems and Technologies Third International Conference, Revised Selected Papers WEBIST 2007 of Lecture Notes in Business Information Processing, 2008.
DOI : 10.1007/978-3-540-68262-2_9

A. Portilla, G. Vargas-solar, L. García-bañuelos, C. Collet, and J. , Verifying atomicty requirements of services coordination using b, Gelbukh and Adiba [GA08], pp.238-248

A. Portilla, G. Vargas-solar, J. Zechinelli-martini, C. Collet, and L. García-bañuelos, A survey for analyzing transactional behavior in service based applications, 7th Mexican International Conference on Computer Science, pp.116-126, 2006.

G. [. Schuldt, C. Alonso, H. Beeri, and . Schek, Atomicity and isolation for transactional processes, ACM Transactions on Database Systems, vol.27, issue.1, pp.63-116, 2002.
DOI : 10.1145/507234.507236

P. Munindar, M. N. Singh, and . Huhns, Service-Oriented Computing, 2005.

H. Tan, Coordination adaptative de servicesàservicesà base de contrats, 2009.

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

M. P. Wil, K. Van-der-aalst, and . Van-hee, Workflow Management, Models, Methods, and Systems, 2004.

T. Vu, Composition sécurisé de services, 2008.

G. [. Vidyasankar and . Vossen, A multi-level model for web service composition, ICWS, p.462, 2004.

[. Wachter and A. Reuter, The contract model, Database Transaction Models for Advanced Applications, pp.219-263, 1992.

G. Weikum and G. Vossen, Transactional information systems , theory, algorithms, and the practice of concurrency control and recovery, 1998.

[. Zhang, M. A. Hiltunen, K. Marzullo, and R. D. Schlichting, Customizable Service State Durability for Service Oriented Architectures, 2006 Sixth European Dependable Computing Conference, pp.119-128, 2006.
DOI : 10.1109/EDCC.2006.8

A. Zhang, M. Nodine, B. Bhargava, and O. Bukhres, Ensuring relaxed atomicity for flexible transactions in multidatabase systems, SIGMOD International Conference on Management of Data, pp.67-78, 1994.