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], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
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 metadatas

Cited literature [37 references]  Display  Hide  Download

https://hal.inria.fr/hal-01167033
Contributor : Victor Vianu <>
Submitted on : Wednesday, June 24, 2015 - 3:49:42 PM
Last modification on : Thursday, February 7, 2019 - 5:29:22 PM
Long-term archiving on : Tuesday, April 25, 2017 - 6:16:28 PM

File

15.pdf
Publisher files allowed on an open archive

Identifiers

Citation

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⟩

Share

Metrics

Record views

483

Files downloads

266