114
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Article: found
      Is Open Access

      An Abstract Formal Basis for Digital Crowds

      Preprint
      ,   ,

      Read this article at

          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          Crowdsourcing, together with its related approaches, has become very popular in recent years. All crowdsourcing processes involve the participation of a digital crowd, a large number of people that access a single Internet platform or shared service. In this paper we explore the possibility of applying formal methods, typically used for the verification of software and hardware systems, in analysing the behaviour of a digital crowd. More precisely, we provide a formal description language for specifying digital crowds. We represent digital crowds in which the agents do not directly communicate with each other. We further show how this specification can provide the basis for sophisticated formal methods, in particular formal verification.

          Related collections

          Author and article information

          Journal
          2014-08-07
          Article
          10.1007/s10619-014-7161-y
          1408.1592
          c9782edd-b557-48ba-8ae7-712debb9a2e3

          http://arxiv.org/licenses/nonexclusive-distrib/1.0/

          History
          Custom metadata
          32 pages, 4 figures
          cs.LO cs.MA

          Theoretical computer science,Artificial intelligence
          Theoretical computer science, Artificial intelligence

          Comments

          Comment on this article