P. Aziz, A. , and B. Jonsson, Verifying programs with unreliable channels, Inf. and Comp, vol.127, issue.2, 1996.

S. Abiteboul, E. Antoine, and J. Stoyanovich, Viewing the Web as a Distributed Knowledge Base, 2012 IEEE 28th International Conference on Data Engineering, 2012.
DOI : 10.1109/ICDE.2012.150

URL : https://hal.archives-ouvertes.fr/hal-00703210

S. Abiteboul, O. Benjelloun, and T. Milo, The Active XML project: an overview, The VLDB Journal, vol.7, issue.4
DOI : 10.1145/4472.4478

S. Abiteboul, M. Bienvenu, A. Galland, and E. Antoine, A rule-based language for web data management, Proceedings of the 30th symposium on Principles of database systems of data, PODS '11, pp.293-304, 2011.
DOI : 10.1145/1989284.1989320

URL : https://hal.archives-ouvertes.fr/inria-00582891

S. Abiteboul, P. Bourhis, and V. Vianu, A formal study of collaborative access control in distributed datalog, ICDT, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01290497

S. Abiteboul and V. Vianu, Collaborative data-driven workflows, Proceedings of the 32nd symposium on Principles of database systems, PODS '13, 2013.
DOI : 10.1145/2463664.2463672

URL : https://hal.archives-ouvertes.fr/hal-00840306

P. Alvaro, W. R. Marczak, N. Conway, J. M. Hellerstein, D. Maier et al., Dedalus: Datalog in time and space, Datalog, pp.262-281, 2010.

M. Arenas, V. Kantere, A. Kementsietsidis, I. Kiringa, R. J. Miller et al., The hyperion project, ACM SIGMOD Record, vol.32, issue.3, pp.53-58, 2003.
DOI : 10.1145/945721.945733

P. Bourhis, D. Deutch, and Y. Moskovitch, Analyzing data-centric applications: Why, what-if, and how-to, 2016 IEEE 32nd International Conference on Data Engineering (ICDE), 2016.
DOI : 10.1109/ICDE.2016.7498289

URL : https://hal.archives-ouvertes.fr/hal-01413879

D. Brand and P. Zafiropulo, On Communicating Finite-State Machines, Journal of the ACM, vol.30, issue.2, 1983.
DOI : 10.1145/322374.322380

D. Calvanese, G. D. Giacomo, and M. Montali, Foundations of data-aware process analysis, Proceedings of the 32nd symposium on Principles of database systems, PODS '13, 2013.
DOI : 10.1145/2463664.2467796

J. Cheney, Causality and the Semantics of Provenance, Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics, DCM 2010, pp.9-10, 2010.
DOI : 10.1093/acprof:oso/9780195183115.001.0001

A. Datta, S. Sen, and Y. Zick, Algorithmic Transparency via Quantitative Input Influence: Theory and Experiments with Learning Systems, 2016 IEEE Symposium on Security and Privacy (SP), pp.598-617, 2016.
DOI : 10.1109/SP.2016.42

A. Deutsch, R. Hull, and V. Vianu, Automatic Verification of Database-Centric Systems, ACM SIGMOD Record, vol.43, issue.3, pp.5-17, 2014.
DOI : 10.1007/978-3-642-19345-3

A. Deutsch, L. Sui, V. Vianu, and D. Zhou, Verification of communicating data-driven web services, Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems , PODS '06, 2006.
DOI : 10.1145/1142351.1142364

G. Dong and J. Su, Incremental maintenance of recursive views using relational calculus/SQL, ACM SIGMOD Record, vol.29, issue.1, pp.44-51, 2000.
DOI : 10.1145/344788.344808

M. R. Garey and D. S. Johnson, Computers and Intractibilitiy: A Guide to the Theory of NP-Completeness, 1979.

T. J. Green, G. Karvounarakis, N. E. Taylor, O. Biton, Z. G. Ives et al., ORCHESTRA, Proceedings of the 2007 ACM SIGMOD international conference on Management of data , SIGMOD '07, 2007.
DOI : 10.1145/1247480.1247631

J. M. Hellerstein, The declarative imperative, ACM SIGMOD Record, vol.39, issue.1, 2010.
DOI : 10.1145/1860702.1860704

R. Hull, Web services composition: A story of models, automata, and logics, ICSOC, 2005.

R. Hull and J. Su, Tools for composite web services, ACM SIGMOD Record, vol.34, issue.2, pp.86-95, 2005.
DOI : 10.1145/1083784.1083807

R. 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

Z. G. Ives, T. J. Green, G. Karvounarakis, N. E. Taylor, V. Tannen et al., The ORCHESTRA Collaborative Data Sharing System, ACM SIGMOD Record, vol.37, issue.3, 2008.
DOI : 10.1145/1462571.1462577

N. Lohmann and D. Weinberg, Wendy: A Tool to Synthesize Partners for Services, Applications and Theory of Petri Nets, pp.297-307, 2010.
DOI : 10.1007/978-3-642-13675-7_18

J. Vera-zaychik-mott, S. Stoyanovich, G. Abiteboul, and . Miklau, Collaborative access control in Webdamlog, SIGMOD Conference, 2015.

A. Nigam and N. S. Caswell, Business artifacts: An approach to operational specification, IBM Systems Journal, vol.42, issue.3, pp.428-445, 2003.
DOI : 10.1147/sj.423.0428

E. L. Post, Recursive Unsolvability of a problem of Thue, The Journal of Symbolic Logic, vol.1, issue.01, pp.1-11, 1947.
DOI : 10.1090/S0002-9904-1944-08111-1

J. Sürmeli and M. Triebel, Synthesizing Cost-Minimal Partners for Services, Service-Oriented Computing, pp.584-591, 2013.
DOI : 10.1007/978-3-642-45005-1_49

I. Tatarinov, Z. G. Ives, J. Madhavan, A. Y. Halevy, D. Suciu et al., The Piazza peer data management project, ACM SIGMOD Record, vol.32, issue.3, pp.47-52, 2003.
DOI : 10.1145/945721.945732

K. Wolf, Does my service have partners? Trans. Petri Nets and Other Models of Concurrency, pp.152-171, 2009.
DOI : 10.1007/978-3-642-00899-3_9

URL : http://www.springerlink.com/content/h61124285x387n35/fulltext.pdf

C. Wolter, H. Plate, and C. Hebert, Collaborative Workflow Management for eGovernment, 18th International Conference on Database and Expert Systems Applications (DEXA 2007), pp.845-849, 2007.
DOI : 10.1109/DEXA.2007.15