Data Centric Workflows for Crowdsourcing - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Preprints, Working Papers, ... Year : 2019

Data Centric Workflows for Crowdsourcing


Crowdsourcing is a major paradigm to accomplish works that require human skills, by paying a small sum of money and drawing workers all across the globe. However, crowdsourcing platforms are mainly ways to solve large amounts of relatively simple and independent replicated work units. A natural extension of crowdsourcing is to enhance the definition of work, and solve more intricate problems, via orchestrations of tasks, and via higher-order, i.e. allowing workers to suggest a process to obtain data rather than a returning a plain answer. This work proposes complex workflows, a data centric workflow model for crowdsourcing. The model allows orchestration of simple tasks and concurrency. It handles data and crowdworkers and provides high-level constructs to decompose complex tasks into orchestrations of simpler subtasks. We consider termination questions: We show that existential termination (existence of at least one terminating run) is undecidable excepted for specifications with bounded recursion. On the other hand, universal termination (whether all runs of a complex workflow terminate) is decidable (and at least in co−2EXPTIME) when constraints on inputs are specified in a decidable fragment of FO. We then address correctness problems. We use FO formulas to specify dependencies between input and output data of a complex workflow. If dependencies are specified with a decidable fragment of FO, then universal correctness (whether all terminating runs satisfy dependencies) is decidable , and existential correctness (whether some terminating runs satisfy dependencies) is decidable with some restrictions.
Fichier principal
Vignette du fichier
compwork.pdf (644.38 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01976280 , version 1 (09-01-2019)
hal-01976280 , version 2 (15-09-2019)


  • HAL Id : hal-01976280 , version 2


Pierre Bourhis, Loïc Hélouët, Rituraj Singh, Zoltán Miklós. Data Centric Workflows for Crowdsourcing. 2019. ⟨hal-01976280v2⟩
269 View
507 Download


Gmail Facebook X LinkedIn More