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.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/inria-00539579
Contributor : Pierre Bourhis <>
Submitted on : Wednesday, November 24, 2010 - 4:50:11 PM
Last modification on : Tuesday, February 5, 2019 - 1:46:02 PM

Identifiers

  • 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. ⟨inria-00539579⟩

Share

Metrics

Record views

437