R. Agrawal, D. Gunopulos, and F. Leymann, Mining process models from workflow logs, Proceedings of the 6th International Conference on Extending Database Technology, pp.469-498, 1998.
DOI : 10.1007/BFb0101003
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.8660

M. Anbazhagan and N. Arun, Use SOAP-based intermediaries to build chains of Web service functionality, 2002.

S. Bhiri, C. Godart, and O. Perrin, Transactional patterns for reliable web services compositions, Proceedings of the 6th international conference on Web engineering , ICWE '06, pp.137-144, 2006.
DOI : 10.1145/1145581.1145613
URL : https://hal.archives-ouvertes.fr/inria-00113956

S. Bhiri, O. Perrin, and C. Godart, Ensuring required failure atomicity of composite Web services, Proceedings of the 14th international conference on World Wide Web , WWW '05, pp.138-147, 2005.
DOI : 10.1145/1060745.1060769
URL : https://hal.archives-ouvertes.fr/inria-00000769

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

J. E. Cook and A. L. Wolf, Discovering models of software processes from event-based data, ACM Transactions on Software Engineering and Methodology, vol.7, issue.3, pp.215-249, 1998.
DOI : 10.1145/287000.287001

J. E. Cook and A. L. Wolf, Event-based detection of concurrency, Proceedings of 6th ACM SIGSOFT FSE conference, pp.35-45, 1998.

A. K. Elmagarmid, Database transaction models for advanced applications, 1992.

M. Fauvet, M. Dumas, and B. Benatallah, Collecting and Querying Distributed Traces of Composite Service Executions, Proceedings of the 14 th International Conference on Cooperative Information Systems, pp.373-390, 2002.
DOI : 10.1007/3-540-36124-3_22

T. Freund and M. Little, Web Service Business Activity Version 1.1, 2007.

W. Gaaloul, K. Baïna, and C. Godart, Towards Mining Structural Workflow Patterns, Proceedings of DEXA, pp.24-33, 2005.
DOI : 10.1007/11546924_3
URL : https://hal.archives-ouvertes.fr/inria-00000483

W. Gaaloul, S. Bhiri, and C. Godart, Discovering Workflow Patterns from Timed Logs, Proceedings of Informationssysteme im E-Business und E-Government, pp.84-94, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00000487

W. Gaaloul, S. Bhiri, and C. Godart, Discovering Workflow Transactional Behavior from Event-Based Log, Proceedings of the 12th International Conference on Cooperative Information Systems, pp.25-29, 2004.
DOI : 10.1007/978-3-540-30468-5_3

E. Gamma, R. Helm, R. Johnson, and J. Vlisside, Design Patterns : Elements of Reusable Object- Oriented Software, 1995.

D. Grigori, F. Casati, M. Castellanos, U. Dayal, M. Sayal et al., Business Process Intelligence, Computers in Industry, vol.53, issue.3, pp.321-343, 2004.
DOI : 10.1016/j.compind.2003.10.007
URL : https://hal.archives-ouvertes.fr/hal-00130689

R. Hamadi and B. Benatallah, A Petri net-based model for web service composition, Proceedings of the Australasian Database Conference, 0200.

J. Herbest, A Machine Learning Approach to Workflow Management, Proceedings of the 11th European Conference on Machine Learning, pp.183-194, 2000.
DOI : 10.1007/3-540-45164-1_19

J. Herbest, Dealing with Concurrency in Workflow Induction, Proceedings of the European Concurrent Engineering Conference, 2000.

B. Limthanmaphon and Y. Zhang, Web service composition transaction management, Proceedings of the 15 th Australasian Database Conference, pp.171-179, 2004.

M. Little and A. Wilkinson, Web Service Atomic Transaction Version 1.1, 2007.

S. Mehrotra, R. Rastogi, H. F. Korth, and A. Silberschatz, A transaction model for multidatabase systems, [1992] Proceedings of the 12th International Conference on Distributed Computing Systems, pp.56-63, 1992.
DOI : 10.1109/ICDCS.1992.235055

P. F. Pires, M. R. Benevides, and M. Mattoso, Building ReliableWeb Services Compositions, Proceedings of Web, Web-Services, and Database Systems, pp.59-72, 2002.
DOI : 10.1007/3-540-36560-5_5
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.11.5167

J. Punin, M. Krishnamoorthy, and M. Zaki, Web Usage Mining ??? Languages and Algorithms, Proceedings of Studies in Classification, Data Analysis, and Knowledge Organization, 2001.
DOI : 10.1007/978-3-642-55721-7_28
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.2391

M. Rouached, W. Gaaloul, W. M. Van-der-aalst, S. Bhiri, and C. Godart, Web Service Mining and verification of Properties: An approach based on Event Calculus, Proceedings of the International Cooperative Information Systems, pp.408-425, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00114023

A. Sahai, V. Machiraju, J. Ouyang, and K. Wurster, Message tracking in SOAP-based Web services, NOMS 2002. IEEE/IFIP Network Operations and Management Symposium. ' Management Solutions for the New Communications World'(Cat. No.02CH37327), 2001.
DOI : 10.1109/NOMS.2002.1015542

M. Sayal, F. Casati, M. Shan, and U. Dayal, Business Process Cockpit, Proceedings of 28 th International Conference on Very Large Data Bases, pp.880-883, 2002.
DOI : 10.1016/B978-155860869-6/50086-X
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.93.1248

W. M. Van-der-aalst, A. H. Ter-hofstede, B. Kiepuszewski, and A. P. Barros, Workflow Patterns, Distributed and Parallel Databases, pp.5-51, 2003.

W. M. Van-der-aalst, T. Weijters, and L. Maruster, Workflow mining: discovering process models from event logs, IEEE Transactions on Knowledge and Data Engineering, vol.16, issue.9, pp.1128-1142, 2004.
DOI : 10.1109/TKDE.2004.47