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
2019
Liste complète des métadonnées

https://hal.inria.fr/hal-01976280
Contributeur : Loic Helouet <>
Soumis le : mercredi 9 janvier 2019 - 21:45:55
Dernière modification le : samedi 12 janvier 2019 - 01:21:04

Fichier

PODS.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01976280, version 1

Citation

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

Partager

Métriques

Consultations de la notice

92

Téléchargements de fichiers

80