Data Centric Workflows for Crowdsourcing - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2019

Data Centric Workflows for Crowdsourcing

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-01976280 , version 2

Citer

Pierre Bourhis, Loïc Hélouët, Rituraj Singh, Zoltán Miklós. Data Centric Workflows for Crowdsourcing. 2019. ⟨hal-01976280v2⟩
279 Consultations
517 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More