An Abstract Formal Basis for Digital Crowds

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.Comment: 32 pages, 4 figure

Utilização de rede social para fins de crowdsourcing

Mestrado em GestãoThe increasing use of social network got the attention of researchers and organizations. The knowledge created and shared within the social network group, which is useful to organizations, is the object of this research. The study proposes a conceptual model, based literature review of previous researches in order to enphasize the relevant aspects that influence the communication within an online group. A longitudinal empirical research was applied at an online group, placed at the professional social network Linkedin. An empirical model emerged and a discussion was established over the most relevant components at an online group, to stimulate communication within, and they appeared to be divided in three major groups: member, the groups’ characteristic itself and shared content specification.A crescente utilização das medias sociais chamou a atenção de pesquisadores e organizações. O conhecimento criado e compartilhado dentro do grupo das medias sociais, que é útil para as organizações, é o objecto desta pesquisa. O estudo propõe um modelo conceptual, baseado em revisão de literatura de pesquisas anteriores, a fim de enfatizar os aspectos relevantes que influenciam a comunicação dentro de um grupo online. Uma pesquisa longitudinal empírica foi aplicada em um grupo online, situado na rede social profissional Linkedin. Um modelo empírico e surgiu uma discussão foi estabelecida ao longo dos componentes mais relevantes em um grupo online, para estimular a comunicação, os aspectos demonstraram-se estar divididos em três grupos principais: membros, característica dos grupos em si e especificações de conteúdo compartilhado

An Open System for Social Computation

Part of the power of social computation comes from using the collective intelligence of humans to tame the aggregate uncertainty of (otherwise) low veracity data obtained from human and automated sources. We have witnessed a surge in development of social computing systems but, ironically, there have been few attempts to generalise across this activity so that creation of the underlying mechanisms themselves can be made more social. We describe a method for achieving this by standardising patterns of social computation via lightweight formal specifications (we call these social artifacts) that can be connected to existing internet architectures via a single model of computation. Upon this framework we build a mechanism for extracting provenance meta-data across social computations