Comparing Workflow Specification Languages: A Matter of Views

Serge Abiteboul 1 Pierre Bourhis 1 Victor Vianu 1
1 DAHU - Verification in databases
CNRS - Centre National de la Recherche Scientifique : UMR8643, Inria Saclay - Ile de France, ENS Cachan - École normale supérieure - Cachan, LSV - Laboratoire Spécification et Vérification [Cachan]
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.
Document type :
Conference papers
Complete list of metadatas
Contributor : Pierre Bourhis <>
Submitted on : Wednesday, November 24, 2010 - 4:50:11 PM
Last modification on : Tuesday, February 5, 2019 - 1:46:02 PM


  • HAL Id : inria-00539579, version 1



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



Record views