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

A. Belardinelli, F. Lomuscio, and . Patrizi, An abstraction technique for the verification of artifact-centric systems, Proc. Intl. Conf. on Knowledge Representation, 2012.

N. S. Bhattacharya, S. Caswell, A. Kumaran, F. Y. Nigam, and . Wu, Artifact-centered operational modeling: Lessons from customer engagements, IBM Systems Journal, vol.46, issue.4, 2007.
DOI : 10.1147/sj.464.0703

. Bhattacharya, A model-driven approach to industrializing discovery processes in pharmaceutical research, IBM Systems Journal, vol.44, issue.1, 2005.
DOI : 10.1147/sj.441.0145

C. Bizagi, I. , O. , S. Ag, and S. , OMG Submitters ) and Agile Enterprise Design and Stiftelsen SINTEF and TIBCO and Trisotech (Co- Authors) Case Management Model and Notation (CMMN), FTF Beta 1, OMG Document Number dtc, pp.2013-2014, 2013.

M. Boasson and . Nivat, Adherences of languages, Journal of Computer and System Sciences, vol.20, issue.3, 1980.
DOI : 10.1016/0022-0000(80)90010-0

M. Bozzon, S. Brambilla, A. Ceri, and . Mauri, Reactive crowdsourcing, Proceedings of the 22nd international conference on World Wide Web, WWW '13, pp.153-164, 2013.
DOI : 10.1145/2488388.2488403

M. Bozzon, S. Brambilla, A. Ceri, R. Mauri, and . Volonterio, Pattern-Based Specification of Crowdsourcing Applications, Web Engineering, 14th International Conference Proceedings, pp.218-235, 2014.
DOI : 10.1007/978-3-319-08245-5_13

. Chao, Artifact-Based Transformation of IBM Global Financing, BPM, 2009.
DOI : 10.1147/sj.423.0428

M. Clarke, O. Grumberg, and D. A. , Peled. Model Checking, 2000.

A. Damaggio, V. Deutsch, and . Vianu, Artifact systems with data dependencies and arithmetic, ACM Transactions on Database Systems, vol.37, issue.3, 2012.

R. Damaggio, R. Hull, and . Vaculín, On the Equivalence of Incremental and Fixpoint Semantics for Business Artifacts with Guard-Stage-Milestone Lifecycles, Information Systems, vol.53, issue.2, pp.561-584, 2013.
DOI : 10.1016/j.datak.2004.07.003

D. Giacomo, R. De-masellis, and R. Rosati, VERIFICATION OF CONJUNCTIVE ARTIFACT-CENTRIC SERVICES, International Journal of Cooperative Information Systems, vol.21, issue.02, pp.111-140, 2012.
DOI : 10.1142/S0218843012500025

. De-man, Case management: Cordys approach, 2009.

R. Demri and . Lazi?, LTL with the Freeze Quantifier and Register Automata, LICS, 2006.

R. Demri, A. Lazi?, and . Sangnier, Model Checking Freeze LTL over One-Counter Automata, FoSSaCS, 2008.
DOI : 10.1007/978-3-540-78499-9_34

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, 2009.
DOI : 10.1145/1514894.1514924

R. Deutsch, V. Hull, and . Vianu, Automatic verification of data-driven systems, Sigmod Record, 2014.

Y. Deutsch, V. Li, and . Vianu, Hierarchical artifact systems
URL : https://hal.archives-ouvertes.fr/hal-01389845

L. Deutsch, V. Sui, and . Vianu, Specification and verification of data-driven Web applications, Journal of Computer and System Sciences, vol.73, issue.3, pp.442-474, 2007.
DOI : 10.1016/j.jcss.2006.10.006

A. Emerson, Temporal and modal logic Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics, pp.995-1072, 1990.

D. Hariri, G. Calvanese, A. De-giacomo, M. Deutsch, and . Montali, Verification of relational data-centric dynamic systems with external services, PODS, 2013.

E. Hull, R. Damaggio, F. De-masellis, M. Fournier, F. Gupta et al., Business artifacts with guard-stage-milestone lifecycles, Proceedings of the 5th ACM international conference on Distributed event-based system, DEBS '11, 2011.
DOI : 10.1145/2002259.2002270

D. Isaak and C. Löding, Efficient inclusion testing for simple classes of unambiguous ??-automata, Information Processing Letters, vol.112, issue.14-15, pp.14-15
DOI : 10.1016/j.ipl.2012.04.010

P. Kumaran, T. Nandi, K. Heath, R. Bhaskaran, and . Das, ADoc-oriented programming, 2003 Symposium on Applications and the Internet, 2003. Proceedings., 2003.
DOI : 10.1109/SAINT.2003.1183067

L. Libkin, Elements of Finite Model Theory, 2004.
DOI : 10.1007/978-3-662-07003-1

J. Lomuscio and . Michaliszyn, Model checking unbounded artifact-centric systems, Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014.

R. Marin, R. Hull, and . Vaculín, Data Centric BPM and the Emerging Case Management Standard: A Short Survey, BPM Workshops, 2012.
DOI : 10.1007/978-3-642-36285-9_4

L. Marvin and . Minsky, Computation: finite and infinite machines Business artifacts: An approach to operational specification, IBM Systems Journal, issue.3, p.42, 1967.

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), 1977.
DOI : 10.1109/SFCS.1977.32

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

S. Segoufin and . Torunczyk, Automata based verification over linearly ordered data domains, STACS, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00573615

. Spielmann, Verification of relational transducers for electronic commerce, Journal of Computer and System Sciences, vol.66, issue.1, pp.40-65, 2003.
DOI : 10.1016/S0022-0000(02)00029-6

W. Thomas, Automata on Infinite Objects, Handbook of Theoretical Computer Science, 1990.
DOI : 10.1016/B978-0-444-88074-1.50009-3

W. Van-der-aalst and M. Song, Mining Social Networks: Uncovering Interaction Patterns in Business Processes, Business Process Management, pp.244-260, 2004.
DOI : 10.1007/978-3-540-25970-1_16

W. Van-der-aalst and A. Ter-hofstede, YAWL: yet another workflow language, Information Systems, vol.30, issue.4, 2005.
DOI : 10.1016/j.is.2004.02.002

-. Zhu, Advanced Case Management with IBM Case Manager