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

Final report of work-with-IT: the JISC study into evolution of working practices

Technology is increasingly being used to underpin business processes across teaching and learning, research, knowledge exchange and business support activities in both HE and FE. The introduction of technology has a significant impact on the working practices of staff, often requiring them to work in a radically different way. Change in any situation can be unsettling and problematic and, where not effectively managed, can lead to poor service or functionality and disenfranchised staff. These issues can have a direct impact on institutional effectiveness, reputation and the resulting student experience. The Work-with-IT project, based at the University of Strathclyde, sought to examine changes to working practices across HE and FE, the impact on staff roles and relationships and the new skills sets that are required to meet these changes

Mobile Activism, Material Imaginings, and the Ethics of the Edible: Framing Political Engagement through the Buycott App

In this article, we explore the discursive constructions of Buycott, a free mobile app that provides a platform for user-generated ethical consumption campaigns. Unlike other ethical consumption apps, Buycott’s mode of knowledge production positions the app itself as neutral, with app users generating activist campaigns and providing both data and judgment. Although Buycott is not a dedicated food activism app, food features centrally in its campaigns, and the app seems to provide a mobile means of extending, and perhaps expanding, alternative food network (AFN) action across geographies and constituencies. Thus, as a case study, Buycott unveils contemporary possibilities for citizen participation and the formation of activist consumer communities, both local and trans-national, through mobile technologies. Our analysis shows, however, that despite the app’s user-generated format, the forms of activism it enables are constrained by the app’s binary construction of action as non/consumption and its guiding ‘mission’ of ‘voting with your wallet’. Grounded in texts concerning Buycott’s two largest campaigns (Demand GMO Labeling and Long live Palestine boycott Israel), our analysis delineates how Buycott, its campaigns, and its modes of action take shape in user, media, and app developer discourses. We find that, as discursively framed, Buycott campaigns are commodity-centric, invoking an ‘ethics of care’ to be enacted by atomized consumers, in corporate spaces and through mainstream, barcode-bearing, retail products. In user discourses, this corporate spatiality translates into the imagined materializing of issues in products, investing commodities with the substance of an otherwise ethereal cause. This individualized, commodity-centric activism reinforces tenets of the neoliberal market, ultimately turning individual users into consumers not only of products, but also of the app itself. Thus, we suggest, the activist habitus constructed through Buycott is a neoliberal, consumer habitus