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.
Type de document :
Communication dans un congrès
International Conference on Database Theory (ICDT), 2015, Bruxelles, Belgium. pp.18, 〈10.4230/LIPIcs.ICDT.2015.247〉
Liste complète des métadonnées

Littérature citée [37 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01167033
Contributeur : Victor Vianu <>
Soumis le : mercredi 24 juin 2015 - 15:49:42
Dernière modification le : jeudi 11 janvier 2018 - 06:22:14
Document(s) archivé(s) le : mardi 25 avril 2017 - 18:16:28

Fichier

15.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

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〉

Partager

Métriques

Consultations de la notice

282

Téléchargements de fichiers

132