Skip to Main content Skip to Navigation
Conference papers

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], Inria Saclay - Ile de France
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.
Complete list of metadatas
Contributor : Pierre Bourhis <>
Submitted on : Wednesday, November 24, 2010 - 4:50:11 PM
Last modification on : Wednesday, December 4, 2019 - 1:28: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