Didier Parigot

Zenith INRIA Team

INRIA Sophia Antipolis
Batiment Fermat, F109
2004 Route des Lucioles
BP 93
06902 Sophia Antipolis
Cedex France

Didier.Parigot@inria.fr
Tel : (33-4) 4 92 38 50 01
Fax : (33-4) 4 92 38 76 44



ABITEBOUL:2011:INRIA-00539579:1

Summary

Comparing Workflow Specification Languages: A Matter of Views. Abiteboul, Serge, Bourhis, Pierre and Vianu, Victor. In International Conference on Database Theory (ICDT) , Uppsala Suede , 03 2011. (Victor Vianu was supported in part by the NSF under award III-0916515 ). (URL)

Abstract

{W}e address the problem of comparing the expressiveness of workflow specification formalisms using a notion of view of a workflow. {V}iews allow to compare widely different workflow systems by mapping them to a common representation capturing the observables relevant to the comparison. {U}sing 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. {O}ne surprising result shows the considerable power of static constraints to simulate apparently much richer workflow control mechanisms.

Bibtex entry

@INPROCEEDINGS { ABITEBOUL:2011:INRIA-00539579:1,
    HAL_ID = { inria-00539579 },
    URL = { http://hal.inria.fr/inria-00539579/en/ },
    TITLE = { {C}omparing {W}orkflow {S}pecification {L}anguages: {A} {M}atter of {V}iews },
    AUTHOR = { Abiteboul, Serge and Bourhis, Pierre and Vianu, Victor },
    ABSTRACT = { {W}e address the problem of comparing the expressiveness of workflow specification formalisms using a notion of view of a workflow. {V}iews allow to compare widely different workflow systems by mapping them to a common representation capturing the observables relevant to the comparison. {U}sing 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. {O}ne surprising result shows the considerable power of static constraints to simulate apparently much richer workflow control mechanisms. },
    LANGUAGE = { Anglais },
    AFFILIATION = { Dahu - INRIA Saclay - {I}le de {F}rance - INRIA - Ecole Nationale Sup-Ačrieure de Cachan - CNRS : UMR8643 },
    BOOKTITLE = { International Conference on Database Theory (ICDT) },
    ADDRESS = { Uppsala Suede },
    NOTE = { Victor Vianu was supported in part by the NSF under award III-0916515 },
    AUDIENCE = { internationale },
    DAY = { 21 },
    MONTH = { 03 },
    YEAR = { 2011 },
}


INRIA main page LIRMM main page