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

S. Abiteboul and V. Vianu, Collaborative data-driven workflows: think global, act local, Proc. of PODS'13, pp.91-102, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00840306

T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein et al., Business process execution language for Web services (BPEL4WS), 2003.

C. Beeri, A. Eyal, S. Kamenkovich, and T. Milo, Querying business processes, Proc. of VLDB'06, pp.343-354, 2006.

P. Bernays and M. Schönfinkel, Zum entscheidungsproblem der mathematischen logik, Mathematische Annalen, vol.99, issue.1, pp.342-372, 1928.

E. F. Codd, Relational completeness of data base sublanguages, Database Systems, pp.65-98, 1972.

E. Damaggio, A. Deutsch, and V. Vianu, Artifact systems with data dependencies and arithmetic, Trans. on Database Systems, vol.37, issue.3, p.22, 2012.

F. Daniel, P. Kucherbaev, C. Cappiello, B. Benatallah, and M. Allahbakhsh, Quality control in crowdsourcing: A survey of quality attributes, assessment techniques, and assurance actions, ACM Computing Surveys, vol.51, issue.1, p.7, 2018.

A. Deutsch, L. Sui, V. Vianu, and D. Zhou, Verification of communicating data-driven web services, Proc. of PODS'06, pp.90-99, 2006.

E. W. Dijkstra, Guarded commands, nondeterminacy and formal derivation of program, Communications of the ACM, vol.18, issue.8, pp.453-457, 1975.

H. Garcia-molina, M. Joglekar, A. Marcus, A. Parameswaran, and V. Verroios, Challenges in data crowdsourcing, Trans. on Knowledge and Data Engineering, vol.28, issue.4, pp.901-911, 2016.

D. Babak-bagheri-hariri, G. D. Calvanese, A. Giacomo, M. Deutsch, and . Montali, Verification of relational data-centric dynamic systems with external services, Proc. of PODS 2013, pp.163-174, 2013.

S. Itzhaky, T. Kotek, N. Rinetzky, M. Sagiv, O. Tamir et al., On the automated verification of web applications with embedded SQL, Proc. of ICDT'17, vol.68, p.18, 2017.

L. G. Khashiyan, Polynomial algorithms in linear programming, U.S.S.R. Computational Mathematics and Mathematical Physics, vol.20, pp.51-68, 1980.

D. Kitchin, W. R. Cook, and J. Misra, A language for task orchestration and its semantic properties, CON-CUR'06, pp.477-491, 2006.

A. Kittur, B. Smus, S. Khamkar, and R. E. Kraut, Crowdforge: Crowdsourcing complex work, Proc. of UIST'11, pp.43-52, 2011.

A. Koutsos and V. Vianu, Process-centric views of data-driven business artifacts, Journal of Computer and System Sciences, vol.86, pp.82-107, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01167033

P. Kucherbaev, F. Daniel, S. Tranquillini, and M. Marchese, Crowdsourcing processes: A survey of approaches and opportunities, IEEE Internet Computing, vol.20, issue.2, pp.50-56, 2016.

A. Kulkarni, M. Can, and B. Hartmann, Collaboratively crowdsourcing workflows with turkomatic, Proc. of CSCW'12, pp.1003-1012, 2012.

H. R. Lewis, Complexity results for classes of quantificational formulas, J. Comput. Syst. Sci, vol.21, issue.3, pp.317-353, 1980.

G. Li, J. Wang, Y. Zheng, and M. J. Franklin, Crowdsourced data management: A survey, Trans. on Knowledge and Data Engineering, vol.28, issue.9, pp.2296-2319, 2016.

G. Little, L. B. Chilton, M. Goldman, and R. C. Miller, Turkit: tools for iterative tasks on mechanical turk, Proc. of HCOMP'09, pp.29-30, 2009.

L. Löwenheim, Über möglichkeiten im relativkalkül, Mathematische Annalen, vol.76, issue.4, pp.447-470, 1915.

P. Mavridis, D. Gross-amblard, and Z. Miklós, Using hierarchical skills for optimized task assignment in knowledge-intensive crowdsourcing, Proc. of WWW'16, pp.843-853, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01306481

J. Misra and W. Cook, Computation orchestration. Software and Systems Modeling, vol.6, pp.83-110, 2007.

M. Mortimer, On languages with two variables, Mathematical Logic Quarterly, vol.21, issue.1, pp.135-140, 1975.

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

, Web Services Business Process Execution Language, OASIS, 2007.

D. Sánchez-charles, V. Muntés-mulero, M. Solé, and J. Nin, Crowdwon: A modelling language for crowd processes based on workflow nets, AAAI, pp.1284-1290, 2015.

T. Sturm, M. Voigt, and C. Weidenbach, Deciding first-order satisfiability when universal and existential variables are separated, Proc. of LICS '16, pp.86-95, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01389744

S. Tranquillini, F. Daniel, P. Kucherbaev, and F. Casati, Modeling, enacting, and integrating custom crowdsourcing processes, TWEB, vol.9, issue.2, 2015.

W. M. Van-der-aalst, K. M. Van-hee, A. H. Ter-hofstede, N. Sidorova, M. Verbeek et al., Soundness of workflow nets: classification, decidability, and analysis, Formal Aspects of Computing, vol.23, issue.3, pp.333-363, 2011.

Q. Zheng, W. Wang, Y. Yu, M. Pan, and X. Shi, Crowdsourcing complex task automatically by workflow technology, MiPAC'16 Workshop, pp.17-30, 2016.