S. Abiteboul, P. Bourhis, A. Galland, and B. Marinoiu, The axml artifact model Simulation Is Decidable for One-Counter Nets (Extended Abstract, TIME Proceedings of CONCUR'98, pp.11-17, 1998.

G. Alonso, F. Casati, H. A. Kuno, V. Machirajuad07, ]. V. Vianu et al., Web Services -Concepts, Architectures and Applications Specification and verification of data-driven web applications, J. Comput. Syst. Sci, pp.442-474, 2004.

R. [. Abiteboul, V. Hull, and . Vianu, Foundations of Databases, 1995.

[. Caswell and A. Nigam, Business artifacts : An approach to operational specification, IBM Systems Journal, vol.3, issue.42, pp.428-445, 2003.

D. Ardagna and B. Pernici, Adaptive service composition in flexible processes A hybrid approach for efficient web service composition with end-to-end qos constraints, IEEE Trans. Software Eng. ACM Trans. Web, vol.337, issue.62, pp.369-3841, 2007.

S. Abiteboul, L. Segoufin, and V. Vianu, Static analysis of active xml systems, PODS, pp.221-230, 2008.

S. Abiteboul, L. Segoufin, and V. Vianu, Modeling and verifying active xml artifacts, IEEE Data Eng. Bull, vol.32, issue.3, pp.10-15, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00429484

S. Abiteboul, L. Segoufin, and V. Vianu, Static analysis of active xml systems, ACM Trans. Database Syst, vol.34, issue.4, 2009.

S. Abiteboul, V. Vianu, B. S. Fordham, and Y. Yesha, Relational transducers for electronic commerce, PODS, pp.179-187, 1998.

S. Abiteboul, V. Vianu, B. S. Fordham, and Y. Yesha, Relational Transducers for Electronic Commerce, Journal of Computer and System Sciences, vol.61, issue.2, pp.236-269, 2000.
DOI : 10.1006/jcss.2000.1708

D. Berardi, D. Calvanese, G. D. Giacomo, M. Lenzerini, and M. Mecella, Automatic Composition of E-services That Export Their Behavior, ICSOC, pp.43-58, 2003.
DOI : 10.1007/978-3-540-24593-3_4

D. Berardi, D. Calvanese, G. D. Giacomo, R. Hull, and M. Mecella, Automatic composition of transition-based semantic web services with messaging, VLDB, pp.613-624, 2005.

[. Berardi, F. Cheikh, G. D. Giacomo, F. Bhattacharya, N. S. Caswell et al., Automatic service composition via simulation Artifact-centered operational modeling : Lessons from customer engagements Semantics-based composition-oriented discovery of web services Fresh-variable automata : Application to service composition Guarded variable automata over infinite alphabets Analysis and management of web service protocols Web service conversation modeling : A cornerstone for e-business automation Representing, analysing and managing web service protocols Conversation specification : a new approach to design and analysis of e-service composition Towards formal analysis of artifact-centric business process models, [BCR13] Walid Belkhir, Yannick Chevalier, and Michaël Rusinowitch 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SY- NASC 2013 ER conferenceBCT04b] Boualem Benatallah, Fabio Casati, and Farouk Toumani WWW'03 BPMBGL + 05 Lars Johannsen, and Andreas Staudt. A model-driven approach to industrializing discovery processes in pharmaceutical research. IBM Systems Journal, pp.429-451703, 2003.

F. Belardinelli, A. Lomuscio, F. Patrizi, L. Bordeaux, G. Salaün et al., Verification of deployed artifact systems via data abstraction When are two Web Services Compatible ?), ICSOC VLDB TES'04, pp.142-156, 2004.

V. Bárány, L. Balder-ten-cate, and . Segoufin, Guarded negation Foundations of data-aware process analysis : a database theory perspective, Automata, Languages and Programming -38th International Colloquium, ICALP 2011 Proceedings, Part II PODS, pp.356-367, 2011.

D. Cohn and R. Hull, Business artifacts : A data-centric approach to modeling business operations and processes, IEEE Data Eng. Bull, vol.32, issue.3, pp.3-9, 2009.

A. Stephen and . Cook, The complexity of theorem-proving procedures, STOC, pp.151-158, 1971.

E. Damaggio, A. Deutsch, R. Hull, and V. Vianu, Automatic verification of data-centric business processes Artifact systems with data dependencies and arithmetic, DDV11] Elio Damaggio, Alin Deutsch, and Victor Vianu ICDT, pp.3-16, 2011.

R. [. Deutsch, F. Hull, V. Patrizi, and . Vianu, Automatic verification of data-centric business processes, Proceedings of the 12th International Conference on Database Theory, ICDT '09, pp.252-267, 2009.
DOI : 10.1145/1514894.1514924

A. Deutsch, L. Sui, and V. Vianu, Specification and verification of data-driven web services, Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '04, pp.71-82, 2004.
DOI : 10.1145/1055558.1055571

G. Friedrich, M. Fugini, E. Mussi, B. Pernici, and G. Tagni, Exception Handling for Repair in Service-Based Processes, IEEE Transactions on Software Engineering, vol.36, issue.2, pp.198-215, 2010.
DOI : 10.1109/TSE.2010.8

]. W. Fgg-+-08, F. Fan, W. Geerts, F. Gelade, A. Neven et al., Complexity and composition of synthesized web services, ACM PODS, pp.231-240, 2008.

R. Fagin, P. G. Kolaitis, R. J. Miller, and L. Popa, Data exchange: semantics and query answering, Theoretical Computer Science, vol.336, issue.1, pp.89-124, 2005.
DOI : 10.1016/j.tcs.2004.10.033

URL : http://doi.org/10.1016/j.tcs.2004.10.033

R. Ghis04-]-cagdas-evren-gerede, O. H. Hull, J. Ibarra, and . Su, Automated composition of e-services : lookaheads, In ICSOC, pp.252-262, 2004.

[. Grumberg, O. Kupferman, and S. Sheinvald, Variable Automata over Infinite Alphabets, LATA, pp.561-572, 2010.
DOI : 10.1007/978-3-642-13089-2_47

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

E. Cagdas, J. Gerede, ]. R. Suhb03a, B. Hamadi, and . Benatallah, Specification and verification of artifact behaviors in business process models A Petri net-based model for web service composition, ICSOC Australasian Database Conference, pp.181-192, 2003.

R. Hamadi and B. Benatallah, A petri net-based model for web service composition, ADC, pp.191-200, 2003.

D. Hcd-+-13-]-babak-bagheri-hariri, G. D. Calvanese, A. Giacomo, M. Deutsch, and . Montali, Verification of relational data-centric dynamic systems with external services, Proceedings of the 32nd ACM SIGMOD- SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2013, pp.163-174, 2013.

M. R. Henzinger, T. A. Henzinger, and P. W. Kopke, Computing simulations on finite and infinite graphs, Proceedings of IEEE 36th Annual Foundations of Computer Science, pp.453-462, 1995.
DOI : 10.1109/SFCS.1995.492576

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

J. Hatcliff, G. T. Leavens, K. Rustan, M. Leino, P. Müller et al., Behavioral interface specification languages, ACM Computing Surveys, vol.44, issue.3, p.16, 2012.
DOI : 10.1145/2187671.2187678

[. Hassen, L. Nourine, and F. Toumani, Protocolbased web service composition, ICSOC, pp.38-53, 2008.

[. Hull, J. Su, and R. Vaculín, Data management perspectives on business process management, Proceedings of the 2013 international conference on Management of data, SIGMOD '13, pp.943-948, 2013.
DOI : 10.1145/2463676.2467802

]. R. Hul08 and . Hull, artifact-centric business process models : Brief survey of research results and challenges, Lecture Notes in Computer Science, vol.5332, pp.1152-1163, 2008.

[. Kaminski and N. Francez, Finite-memory automata, Theoretical Computer Science, vol.134, issue.2, pp.329-363, 1994.
DOI : 10.1016/0304-3975(94)90242-9

[. Kumaran, R. Liu, and F. Y. Wu, On the Duality of Information-Centric and Activity-Centric Models of Business Processes, CAiSE, pp.32-47, 2008.
DOI : 10.1007/978-3-540-69534-9_3

]. A. Km02a, R. Kucera, and . Mayr, Simulation preorder over simple process algebras, Information and Computation, vol.173, issue.2, pp.184-198, 2002.

A. Kucera and R. Mayr, On the complexity of semantic equivalences for pushdown automata and bpa, Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science (MFCS'02)Kra07] Sacha Krakowiak. Middleware architecture with patterns and frameworks, pp.433-445, 2002.

K. Jochen-malte-küster, H. Ryndina, and . Gall, Generation of business process models for object life cycle compliance, In BPM, pp.165-181, 2007.

]. N. Loh08 and . Lohmann, A Feature-Complete Petri Net Semantics for WS-BPEL 2.0, LNCS, vol.4937, p.77, 2008.

[. Li, F. Pinet, and F. Toumani, Probabilistic Simulation for Probabilistic Data-Aware Business Processes, Language and Automata Theory and Applications -8th International Conference Proceedings, pp.503-515, 2014.
DOI : 10.1007/978-3-319-04921-2_41

[. Milner, An algebraic definition of simulation between programs, IJCAI, pp.481-489, 1971.

]. M. Min67, . A. Minsky-[-msw11-], S. Meyer, M. Smirnov, and . Weske, Computation Finite and Infinite Machines Data in business processes. technical report 50, 1967.

A. Muscholl and I. Walukiewicz, A lower bound on web services composition, FOSSACS, pp.274-287, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00344194

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

]. C. Pet73 and . Petri, Concepts of net theory, Proceedings of MFCS, pp.137-146, 1973.

A. [. Ponnekanti and . Fox, Interoperability Among Independently Evolving Web Services, Middleware '04, 2004.
DOI : 10.1007/BFb0053382

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

F. Patrizi and G. Giacomo, Composition of services that share an infinitestate blackboard (extended abstract), IIWEB, 2009.

O. Shmueli, Equivalence of Datalog queries is undecidable, The Journal of Logic Programming, vol.15, issue.3, pp.231-241, 1993.
DOI : 10.1016/0743-1066(93)90040-N

M. Spielmann, Verification of relational transducers for electronic commerce, PODS, pp.92-103, 2000.
DOI : 10.1016/S0022-0000(02)00029-6

M. P. Wil, M. Van-der-aalst, C. Dumas, A. Ouyang, E. Rozinat et al., Conformance checking of service behavior, ACM Trans. Internet Techn, vol.8, issue.3, 2008.

B. [. Wombacher, P. Mahleko, E. Fankhauser, and . Neuhold, Matchmaking for business processes based on choreographies, IEEE International Conference on e-Technology, e-Commerce and e-Service, 2004. EEE '04. 2004, 2004.
DOI : 10.1109/EEE.2004.1287334

X. [. Halevy, J. Dong, E. Madhavan, J. Nemes, and . Zhang, Similarity Search for Web Services), VLDB'04, pp.372-383, 2004.