S. Abiteboul, V. Vianu, B. Fordham, and Y. Yesha, Relational transducers for electronic commerce, JCSS, vol.61, issue.2, pp.236-269, 2000.

S. Basu, R. Pollak, and M. Roy, On the number of cells defined by a family of polynomials on a variety, Mathematika, vol.13, issue.01, pp.120-126, 1996.
DOI : 10.1093/comjnl/36.5.504

F. Belardinelli, A. Lomuscio, and F. Patrizi, A computationally-grounded semantics for artifact-centric systems and abstraction results, IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, pp.738-743, 2011.

F. Belardinelli, A. Lomuscio, and F. Patrizi, Verification of Deployed Artifact Systems via Data Abstraction, Service-Oriented Computing -9th International Conference Proceedings, pp.142-156, 2011.
DOI : 10.1007/3-540-44450-5_10

F. Belardinelli, A. Lomuscio, and F. Patrizi, An abstraction technique for the verification of artifact-centric systems, Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012.

F. Belardinelli, A. Lomuscio, and F. Patrizi, Verification of GSM-Based Artifact-Centric Systems through Finite Abstraction, Service-Oriented Computing -10th International Conference Proceedings, pp.17-31, 2012.
DOI : 10.1007/978-3-642-34321-6_2

F. Belardinelli, A. Lomuscio, and F. Patrizi, Verification of agent-based artifact systems, J. Artif. Intell. Res. (JAIR), vol.51, pp.333-376, 2014.

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

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

K. Bhattacharya, C. E. Gerede, R. Hull, R. Liu, and J. Su, Towards Formal Analysis of Artifact-Centric Business Process Models, Proc. Int. Conf. on Business Process Management (BPM), pp.288-304, 2007.
DOI : 10.1007/978-3-540-75183-0_21

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. Blockelet and S. Schmitz, Model Checking Coverability Graphs of Vector Addition Systems, In Mathematical Foundations of Computer Science, pp.108-119, 2011.
DOI : 10.1007/978-3-642-22993-0_13
URL : https://hal.archives-ouvertes.fr/hal-00600077

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, pp.1-12, 2013.
DOI : 10.1145/2463664.2467796

D. Calvanese, G. Delzanno, and M. Montali, Verification of relational multiagent systems with data types, Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, pp.2031-2037, 2015.

D. Calvanese, G. D. Giacomo, R. Hull, and J. Su, Artifact-Centric Workflow Dominance, ICSOC/ServiceWave, pp.130-143, 2009.
DOI : 10.1007/978-3-642-10383-4_9

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

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

E. Damaggio, R. Hull, and R. 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

G. De-giacomo, R. D. 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

G. , D. Giacomo, and M. Y. Vardi, Linear temporal logic and linear dynamic logic on finite traces, Proceedings of the Twenty-Third international joint conference on Artificial Intelligence, pp.854-860, 2013.

H. De-man, A. Deutsch, R. Hull, F. Patrizi, and V. Vianu, Case management: Cordys approach Automatic verification of data-centric business processes, ICDT, pp.252-267, 2009.

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.1145/2694428.2694430

A. Deutsch, Y. Li, and V. Vianu, Verification of hierarchical artifact systems. arXiv preprint, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01389845

A. Deutsch, L. Sui, and V. 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

V. Diekert and P. Gastin, Pure future local temporal logics are expressively complete for Mazurkiewicz traces, LATIN 2004: Theoretical Informatics, 6th Latin American Symposium Proceedings, pp.232-241, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00130678

V. Diekert and P. Gastin, Pure future local temporal logics are expressively complete for Mazurkiewicz traces, Information and Computation, vol.204, issue.11, pp.1597-1619, 2006.
DOI : 10.1016/j.ic.2006.07.002
URL : https://hal.archives-ouvertes.fr/hal-00130678

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

C. E. Gerede, K. Bhattacharya, and J. Su, Static Analysis of Business Artifact-centric Operational Models, IEEE International Conference on Service-Oriented Computing and Applications (SOCA '07), 2007.
DOI : 10.1109/SOCA.2007.42

C. E. Gerede and J. Su, Specification and Verification of Artifact Behaviors in Business Process Models, Proceedings of 5th International Conference on Service-Oriented Computing (ICSOC), 2007.
DOI : 10.1007/978-3-540-74974-5_15

B. B. Hariri, D. Calvanese, G. De-giacomo, A. Deutsch, and M. 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.

R. Hull, E. Damaggio, R. D. Masellis, F. Fournier, M. 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

R. Kimball and M. Ross, The data warehouse toolkit: the complete guide to dimensional modeling, 2011.

R. Lipton, The reachability problem requires exponential space, Research Report, vol.62, 1976.

M. Marin, R. Hull, and R. 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

R. Mayr, Undecidable problems in unreliable computations, Theoretical Computer Science, vol.297, issue.1-3, pp.337-354, 2003.
DOI : 10.1016/S0304-3975(02)00646-1

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

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

D. Peled, Combining partial order reductions with on-the-fly model-checking, Computer aided verification, pp.377-390, 1994.

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

C. Rackoff, The covering and boundedness problems for vector addition systems, Theoretical Computer Science, vol.6, issue.2, pp.223-231, 1978.
DOI : 10.1016/0304-3975(78)90036-1

M. Sipser, Introduction to the Theory of Computation, ACM SIGACT News, vol.27, issue.1, 1997.
DOI : 10.1145/230514.571645

A. P. Sistla, M. Y. Vardi, and P. Wolper, The complementation problem for B??chi automata with applications to temporal logic, Theoretical Computer Science, vol.49, issue.2-3, pp.217-237, 1987.
DOI : 10.1016/0304-3975(87)90008-9

D. Solomakhin, M. Montali, S. Tessaris, and R. D. Masellis, Verification of Artifact-Centric Systems: Decidability and Modeling Issues, Service-Oriented Computing -11th International Conference Proceedings, pp.252-266, 2013.
DOI : 10.1007/978-3-642-45005-1_18

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

A. Tarski, A Decision Method for Elementary Algebra and Geometry, 1948.
DOI : 10.1007/978-3-7091-9459-1_3

M. Y. Vardi and P. Wolper, An automata-theoretic approach to automatic program verification, LICS, 1986.

P. Vassiliadis and T. Sellis, A survey of logical models for OLAP databases, ACM SIGMOD Record, vol.28, issue.4, pp.64-69, 1999.
DOI : 10.1145/344816.344869

X. Zhao, J. Su, H. Yang, and Z. Qiu, Enforcing Constraints on Life Cycles of Business Artifacts, 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering, pp.111-118, 2009.
DOI : 10.1109/TASE.2009.46

W. Zhu, Advanced Case Management with IBM Case Manager