Comparing workflow specification languages: A matter of views

Serge Abiteboul 1 Pierre Bourhis 2 Victor Vianu 3
2 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 :
Journal articles
Complete list of metadatas

Cited literature [41 references]  Display  Hide  Download
Contributor : Pierre Bourhis <>
Submitted on : Monday, December 17, 2012 - 6:05:23 PM
Last modification on : Thursday, March 14, 2019 - 9:58:07 AM
Long-term archiving on : Sunday, December 18, 2016 - 4:00:41 AM


Files produced by the author(s)




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⟩



Record views


Files downloads