Comparing Workflow Specification Languages: A Matter of Views

Serge Abiteboul 1 Pierre Bourhis 1 Victor Vianu 1
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 : 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 :
Communication dans un congrès
International Conference on Database Theory (ICDT), Mar 2011, Uppsala, Sweden. 2011
Liste complète des métadonnées

https://hal.inria.fr/inria-00539579
Contributeur : Pierre Bourhis <>
Soumis le : mercredi 24 novembre 2010 - 16:50:11
Dernière modification le : jeudi 11 janvier 2018 - 06:22:14

Identifiants

  • HAL Id : inria-00539579, version 1

Collections

Citation

Serge Abiteboul, Pierre Bourhis, Victor Vianu. Comparing Workflow Specification Languages: A Matter of Views. International Conference on Database Theory (ICDT), Mar 2011, Uppsala, Sweden. 2011. 〈inria-00539579〉

Partager

Métriques

Consultations de la notice

415