Skip to Main content Skip to Navigation
New interface
Conference papers

Process-Centric Views of Data-Driven Business Artifacts

Adrien Koutsos 1 Victor Vianu 1, 2 
1 DAHU - Verification in databases
LSV - Laboratoire Spécification et Vérification [Cachan], Inria Saclay - Ile de France
Abstract : 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.
Complete list of metadata

Cited literature [37 references]  Display  Hide  Download
Contributor : Victor Vianu Connect in order to contact the contributor
Submitted on : Wednesday, June 24, 2015 - 3:49:42 PM
Last modification on : Wednesday, November 30, 2022 - 11:22:07 AM
Long-term archiving on: : Tuesday, April 25, 2017 - 6:16:28 PM


Publisher files allowed on an open archive



Adrien Koutsos, Victor Vianu. Process-Centric Views of Data-Driven Business Artifacts . International Conference on Database Theory (ICDT), 2015, Bruxelles, Belgium. pp.18, ⟨10.4230/LIPIcs.ICDT.2015.247⟩. ⟨hal-01167033⟩



Record views


Files downloads