Process-Centric Views of Data-Driven Business Artifacts

Authors Adrien Koutsos, Victor Vianu

Thumbnail PDF


  • Filesize: 0.57 MB
  • 18 pages

Document Identifiers

Author Details

Adrien Koutsos
Victor Vianu

Cite AsGet BibTex

Adrien Koutsos and Victor Vianu. Process-Centric Views of Data-Driven Business Artifacts. In 18th International Conference on Database Theory (ICDT 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 31, pp. 247-264, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)


Declarative, data-aware workflow models are becoming increasingly pervasive. While these have numerous benefits, classical process-centric specifications retain certain advantages. Workflow designers are used to development tools such as BPMN or UML diagrams, that focus on control flow. Views describing valid sequences of tasks are also useful to provide stake-holders with high-level descriptions of the workflow, stripped of the accompanying data. In this paper we study the problem of recovering process-centric views from declarative, data-aware workflow specifications in a variant of IBM's business artifact model. We focus on the simplest and most natural process-centric views, specified by finite-state transition systems, and describing regular languages. The results characterize when process-centric views of artifact systems are regular, using both linear and branching-time semantics. We also study the impact of data dependencies on regularity of the views.
  • Workflows
  • data-aware
  • process-centric
  • views


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads


  1. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison Wesley, 1995. Google Scholar
  2. F. Belardinelli, A. Lomuscio, and F. Patrizi. An abstraction technique for the verification of artifact-centric systems. In Proc. Intl. Conf. on Knowledge Representation, 2012. Google Scholar
  3. K. Bhattacharya, N. S. Caswell, S. Kumaran, A. Nigam, and F. Y. Wu. Artifact-centered operational modeling: Lessons from customer engagements. IBM Sys. Journal, 46(4), 2007. Google Scholar
  4. K. Bhattacharya et al. A model-driven approach to industrializing discovery processes in pharmaceutical research. IBM Systems Journal, 44(1), 2005. Google Scholar
  5. BizAgi and Cordys and IBM and Oracle and SAP AG and Singularity (OMG Submitters) and Agile Enterprise Design and Stiftelsen SINTEF and TIBCO and Trisotech (Co-Authors). Case Management Model and Notation (CMMN), FTF Beta 1, Jan. 2013. OMG Document Number dtc/2013-01-01, Object Management Group. Google Scholar
  6. L. Boasson and M. Nivat. Adherences of languages. J. Comput. System Sci., 20(3), 1980. Google Scholar
  7. A. Bozzon, M. Brambilla, S. Ceri, and A. Mauri. Reactive crowdsourcing. In 22nd International World Wide Web Conference, WWW '13, Rio de Janeiro, Brazil, May 13-17, 2013, pages 153-164, 2013. Google Scholar
  8. A. Bozzon, M. Brambilla, S. Ceri, A. Mauri, and R. Volonterio. Pattern-based specification of crowdsourcing applications. In Web Engineering, 14th International Conference, ICWE 2014, Toulouse, France, July 1-4, 2014. Proceedings, pages 218-235, 2014. Google Scholar
  9. T. Chao et al. Artifact-based transformation of IBM Global Financing: A case study. In BPM, 2009. Google Scholar
  10. E.M. Clarke, O. Grumberg, and D.A. Peled. Model Checking. MIT Press, 2000. Google Scholar
  11. E. Damaggio, A. Deutsch, and V. Vianu. Artifact systems with data dependencies and arithmetic. ACM Transactions on Database Systems, 37(3), 2012. Preliminary version in ICDT 2011. Google Scholar
  12. 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, 38:561-584, 2013. Google Scholar
  13. G. De Giacomo, R. De Masellis, and R. Rosati. Verification of conjunctive artifact-centric services. Int. J. Cooperative Inf. Syst., 21(2):111-140, 2012. Google Scholar
  14. H. de Man. Case management: Cordys approach. BP Trends (, 2009. Google Scholar
  15. S. Demri and R. Lazić. LTL with the Freeze Quantifier and Register Automata. In LICS, 2006. Google Scholar
  16. S. Demri, R. Lazić, and A. Sangnier. Model checking freeze LTL over one-counter automata. In FoSSaCS, 2008. Google Scholar
  17. A. Deutsch, R. Hull, F. Patrizi, and V. Vianu. Automatic verification of data-centric business processes. In ICDT, 2009. Google Scholar
  18. A. Deutsch, R. Hull, and V. Vianu. Automatic verification of data-driven systems. Sigmod Record, 2014. Google Scholar
  19. A. Deutsch, Y. Li, and V. Vianu. Hierarchical artifact systems. In preparation. Google Scholar
  20. A. Deutsch, L. Sui, and V. Vianu. Specification and verification of data-driven web applications. JCSS, 73(3):442-474, 2007. Google Scholar
  21. E. Allen Emerson. Temporal and modal logic. In J. Van Leeuwen, editor, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics, pages 995-1072. North-Holland Pub. Co./MIT Press, 1990. Google Scholar
  22. B. Hariri, D. Calvanese, G. De Giacomo, A. Deutsch, and M. Montali. Verification of relational data-centric dynamic systems with external services. In PODS, 2013. Google Scholar
  23. R. Hull, E. Damaggio, R. De Masellis, F. Fournier, M. Gupta, F. Heath III, S. Hobson, M. Linehan, S. Maradugu, A. Nigam, P. Sukaviriya, and R. Vaculín. Business artifacts with guard-stage-milestone lifecycles: Managing artifact interactions with conditions and events. In ACM DEBS, 2011. Google Scholar
  24. Dimitri Isaak and Christof Löding. Efficient inclusion testing for simple classes of unambiguous -automata. Inf. Process. Lett., 112(14-15), 2012. Google Scholar
  25. S. Kumaran, P. Nandi, T. Heath, K. Bhaskaran, and R. Das. ADoc-oriented programming. In Symp. on Applications and the Internet (SAINT), 2003. Google Scholar
  26. Leonid Libkin. Elements of Finite Model Theory. Springer, 2004. Google Scholar
  27. A. Lomuscio and J. Michaliszyn. Model checking unbounded artifact-centric systems. In Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014, 2014. Google Scholar
  28. M. Marin, R. Hull, and R. Vaculín. Data centric BPM and the emerging case management standard: A short survey. In BPM Workshops, 2012. Google Scholar
  29. S. Merz. Model checking: a tutorial overview. In Modeling and verification of parallel processes. Springer-Verlag New York, 2001. Google Scholar
  30. Marvin L. Minsky. Computation: finite and infinite machines. Prentice-Hall, 1967. Google Scholar
  31. A. Nigam and N. S. Caswell. Business artifacts: An approach to operational specification. IBM Systems Journal, 42(3), 2003. Google Scholar
  32. Amir Pnueli. The temporal logic of programs. In FOCS, 1977. Google Scholar
  33. E. L. Post. Recursive unsolvability of a problem of Thue. J. of Symbolic Logic, 12:1-11, 1947. Google Scholar
  34. L. Segoufin and S. Torunczyk. Automata based verification over linearly ordered data domains. In STACS, 2011. Google Scholar
  35. M. Spielmann. Verification of relational transducers for electronic commerce. JCSS., 66(1):40-65, 2003. Google Scholar
  36. Wolfgang Thomas. Automata on infinite objects. In Jan van Leeuwen, editor, Handbook of Theoretical Computer Science (Vol. B). Elsevier, 1990. Google Scholar
  37. W. van der Aalst and M. Song. Mining social networks: Uncovering interaction patterns in business processes. In Business Process Management, volume 3080 of Lecture Notes in Computer Science, pages 244-260. Springer Berlin Heidelberg, 2004. Google Scholar
  38. W. van der Aalst and A. ter Hofstede. YAWL: Yet another workflow language. Information Systems, 30(4), 2005. Google Scholar
  39. W.-D. Zhu et al. Advanced Case Management with IBM Case Manager. Available at \tt Google Scholar