Comparing workflow specification languages: A matter of views

Serge Abiteboul 1 Pierre Bourhis 2 Victor Vianu 3
2 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 : We address the problem of comparing the expressiveness of workflow specification formalisms using a notion of view of a workflow. Views allow to compare widely different workflow systems by mapping them to a common representation capturing the observables relevant to the comparison. Using this framework, we compare the expressiveness of several workflow specification mechanisms, including automata, temporal constraints, and pre-and post-conditions, with XML and relational databases as underlying data models. One surprising result shows the considerable power of static constraints to simulate apparently much richer workflow control mechanisms.
Type de document :
Article dans une revue
ACM Transactions on Database Systems, Association for Computing Machinery, 2012, 37 (10), 〈10.1145/2188349.2188352〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00766210
Contributeur : Pierre Bourhis <>
Soumis le : lundi 17 décembre 2012 - 18:05:23
Dernière modification le : jeudi 11 janvier 2018 - 06:22:14
Document(s) archivé(s) le : dimanche 18 décembre 2016 - 04:00:41

Fichier

final.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Serge Abiteboul, Pierre Bourhis, Victor Vianu. Comparing workflow specification languages: A matter of views. ACM Transactions on Database Systems, Association for Computing Machinery, 2012, 37 (10), 〈10.1145/2188349.2188352〉. 〈hal-00766210〉

Partager

Métriques

Consultations de la notice

303

Téléchargements de fichiers

206