Data Centric Workflows for Complex Crowdsourcing Applications

Loïc Hélouët 1 Rituraj Singh 2 Zoltán Miklós 2
1 SUMO - SUpervision of large MOdular and distributed systems
Inria Rennes – Bretagne Atlantique , IRISA_D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : Crowdsourcing is a major paradigm to accomplish work that requires human skills, by paying a small sum of money and alluring workers whole across the globe. However, the targeted tasks at crowdsourcing platforms are relatively simple and independent work units. This work proposes a data cen-tric workflow model for the design of complex crowdsourcing tasks. The model is called complex workflows and 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 first define the syntax and semantics of the model, and then consider its formal properties, starting with termination questions. We show that existential termination (existence of at least one terminating run) is undecidable. On the other hand, universal termination (whether all runs of a complex workflow terminate) is decidable. We then address correctness problems. We use FO formulas to specify dependencies imposed by a client between inputs and outputs of a workflow. If dependencies are specified with the separated 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 under some semantic restrictions.
Type de document :
Pré-publication, Document de travail
Liste complète des métadonnées
Contributeur : Loic Helouet <>
Soumis le : mercredi 9 janvier 2019 - 21:45:55
Dernière modification le : samedi 12 janvier 2019 - 01:21:04


Fichiers produits par l'(les) auteur(s)


  • HAL Id : hal-01976280, version 1


Loïc Hélouët, Rituraj Singh, Zoltán Miklós. Data Centric Workflows for Complex Crowdsourcing Applications. 2019. 〈hal-01976280〉



Consultations de la notice


Téléchargements de fichiers