Towards Executable Representations of Social Machines

Dave Murray-Rust; Alan Davoust; Petros Papapanagiotou; Areti Manataki; Max van Kleek; Nigel Shadbolt; Dave Robertson

doi:10.1007/978-3-319-91376-6_77

Towards Executable Representations of Social Machines

Dave Murray-Rust, Alan Davoust, Petros Papapanagiotou, Areti Manataki, Max van Kleek, Nigel Shadbolt, Dave Robertson

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

Human interaction is increasingly mediated through technological systems, resulting in the emergence of a new class of socio-technical systems, often called Social Machines. However, many systems are designed and managed in a centralised way, limiting the participants’ autonomy and ability to shape the systems they are part of.
In this paper we are concerned with creating a graphical formalism that allows novice users to simply draw the patterns of interaction that they desire, and have computational infrastructure assemble around the diagram. Our work includes a series of participatory design workshops, that help to understand the levels and types of abstraction that the general public are comfortable with when designing socio-technical systems. These design studies lead to a novel formalism that allows us to compose rich interaction protocols into functioning, executable architecture. We demonstrate this by translating one of the designs produced by workshop participants into an a running agent institution using the Lightweight Social Calculus (LSC).

Original language	English
Title of host publication	Diagrammatic Representation and Inference
Subtitle of host publication	Diagrams 2018
Editors	Peter Chapman, Gem Stapleton, Amirouche Moktefi, Sarah Perez-Kriz, Francesco Bellucci
Publisher	SpringerLink
Pages	765-769
Number of pages	4
ISBN (Electronic)	978-3-319-91376-6
ISBN (Print)	978-3-319-91375-9
DOIs	https://doi.org/10.1007/978-3-319-91376-6_77
Publication status	Published - 2018
Event	10th International Conference on the Theory and Application of Diagrams - Edinburgh Napier University, Edinburgh, United Kingdom Duration: 18 Jun 2018 → 22 Jun 2018 http://www.diagrams-conference.org/2018/

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer, Cham
Volume	10871
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	10th International Conference on the Theory and Application of Diagrams
Abbreviated title	Diagrams 2018
Country/Territory	United Kingdom
City	Edinburgh
Period	18/06/18 → 22/06/18
Internet address	http://www.diagrams-conference.org/2018/

Access to Document

10.1007/978-3-319-91376-6_77

towards-executable-representations-of-social-machines_DIAGRAMS2018Accepted author manuscript, 815 KB

https://link.springer.com/chapter/10.1007/978-3-319-91376-6_77

Cite this

Murray-Rust, D., Davoust, A., Papapanagiotou, P., Manataki, A., van Kleek, M., Shadbolt, N., & Robertson, D. (2018). Towards Executable Representations of Social Machines. In P. Chapman, G. Stapleton, A. Moktefi, S. Perez-Kriz, & F. Bellucci (Eds.), Diagrammatic Representation and Inference: Diagrams 2018 (pp. 765-769). (Lecture Notes in Computer Science; Vol. 10871). SpringerLink. https://doi.org/10.1007/978-3-319-91376-6_77

@inproceedings{40baebe392d14249b2c952e317ff34e6,

title = "Towards Executable Representations of Social Machines",

abstract = "Human interaction is increasingly mediated through technological systems, resulting in the emergence of a new class of socio-technical systems, often called Social Machines. However, many systems are designed and managed in a centralised way, limiting the participants{\textquoteright} autonomy and ability to shape the systems they are part of.In this paper we are concerned with creating a graphical formalism that allows novice users to simply draw the patterns of interaction that they desire, and have computational infrastructure assemble around the diagram. Our work includes a series of participatory design workshops, that help to understand the levels and types of abstraction that the general public are comfortable with when designing socio-technical systems. These design studies lead to a novel formalism that allows us to compose rich interaction protocols into functioning, executable architecture. We demonstrate this by translating one of the designs produced by workshop participants into an a running agent institution using the Lightweight Social Calculus (LSC).",

author = "Dave Murray-Rust and Alan Davoust and Petros Papapanagiotou and Areti Manataki and {van Kleek}, Max and Nigel Shadbolt and Dave Robertson",

year = "2018",

doi = "10.1007/978-3-319-91376-6_77",

language = "English",

isbn = "978-3-319-91375-9",

series = "Lecture Notes in Computer Science",

publisher = "SpringerLink",

pages = "765--769",

editor = "Peter Chapman and Gem Stapleton and Amirouche Moktefi and Sarah Perez-Kriz and Francesco Bellucci",

booktitle = "Diagrammatic Representation and Inference",

note = "10th International Conference on the Theory and Application of Diagrams, Diagrams 2018 ; Conference date: 18-06-2018 Through 22-06-2018",

url = "http://www.diagrams-conference.org/2018/",

}

Murray-Rust, D, Davoust, A, Papapanagiotou, P, Manataki, A, van Kleek, M, Shadbolt, N & Robertson, D 2018, Towards Executable Representations of Social Machines. in P Chapman, G Stapleton, A Moktefi, S Perez-Kriz & F Bellucci (eds), Diagrammatic Representation and Inference: Diagrams 2018. Lecture Notes in Computer Science, vol. 10871, SpringerLink, pp. 765-769, 10th International Conference on the Theory and Application of Diagrams, Edinburgh, United Kingdom, 18/06/18. https://doi.org/10.1007/978-3-319-91376-6_77

Towards Executable Representations of Social Machines. / Murray-Rust, Dave; Davoust, Alan; Papapanagiotou, Petros et al.

Diagrammatic Representation and Inference: Diagrams 2018. ed. / Peter Chapman; Gem Stapleton; Amirouche Moktefi; Sarah Perez-Kriz; Francesco Bellucci. SpringerLink, 2018. p. 765-769 (Lecture Notes in Computer Science; Vol. 10871).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Towards Executable Representations of Social Machines

AU - Murray-Rust, Dave

AU - Davoust, Alan

AU - Papapanagiotou, Petros

AU - Manataki, Areti

AU - van Kleek, Max

AU - Shadbolt, Nigel

AU - Robertson, Dave

PY - 2018

Y1 - 2018

N2 - Human interaction is increasingly mediated through technological systems, resulting in the emergence of a new class of socio-technical systems, often called Social Machines. However, many systems are designed and managed in a centralised way, limiting the participants’ autonomy and ability to shape the systems they are part of.In this paper we are concerned with creating a graphical formalism that allows novice users to simply draw the patterns of interaction that they desire, and have computational infrastructure assemble around the diagram. Our work includes a series of participatory design workshops, that help to understand the levels and types of abstraction that the general public are comfortable with when designing socio-technical systems. These design studies lead to a novel formalism that allows us to compose rich interaction protocols into functioning, executable architecture. We demonstrate this by translating one of the designs produced by workshop participants into an a running agent institution using the Lightweight Social Calculus (LSC).

AB - Human interaction is increasingly mediated through technological systems, resulting in the emergence of a new class of socio-technical systems, often called Social Machines. However, many systems are designed and managed in a centralised way, limiting the participants’ autonomy and ability to shape the systems they are part of.In this paper we are concerned with creating a graphical formalism that allows novice users to simply draw the patterns of interaction that they desire, and have computational infrastructure assemble around the diagram. Our work includes a series of participatory design workshops, that help to understand the levels and types of abstraction that the general public are comfortable with when designing socio-technical systems. These design studies lead to a novel formalism that allows us to compose rich interaction protocols into functioning, executable architecture. We demonstrate this by translating one of the designs produced by workshop participants into an a running agent institution using the Lightweight Social Calculus (LSC).

U2 - 10.1007/978-3-319-91376-6_77

DO - 10.1007/978-3-319-91376-6_77

M3 - Conference contribution

SN - 978-3-319-91375-9

T3 - Lecture Notes in Computer Science

SP - 765

EP - 769

BT - Diagrammatic Representation and Inference

A2 - Chapman, Peter

A2 - Stapleton, Gem

A2 - Moktefi, Amirouche

A2 - Perez-Kriz, Sarah

A2 - Bellucci, Francesco

PB - SpringerLink

T2 - 10th International Conference on the Theory and Application of Diagrams

Y2 - 18 June 2018 through 22 June 2018

ER -

Murray-Rust D, Davoust A, Papapanagiotou P, Manataki A, van Kleek M, Shadbolt N et al. Towards Executable Representations of Social Machines. In Chapman P, Stapleton G, Moktefi A, Perez-Kriz S, Bellucci F, editors, Diagrammatic Representation and Inference: Diagrams 2018. SpringerLink. 2018. p. 765-769. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-319-91376-6_77