A Critical Examination of Languages for Specifying Interaction Protocols for Decentralized Social Machines

01/24/2019
by   Amit K. Chopra, et al.
0

Important Web applications are social machines in that they they involve interoperation among autonomous parties through the Web. We particularly focus on decentralized social machines that reflect the autonomy of their participants in infrastructure that avoids a central provider or authority. A social machine can be effectively specified via an interaction protocol that specifies how participants engage with each other by sending and receiving messages. The importance of decentralization in modern applications has driven research into languages for specifying interaction protocols. However, despite their shared objectives, current languages differ significantly in their -- often complex -- technical details. We contribute a comparative evaluation of these languages over criteria geared toward social machines that incorporate three crucial aspects: (i) information, to express social meaning via instances, correlation, and integrity; (ii) flexible enactments -- to enable autonomy via concurrency and extensibility -- that are also causally valid; and (iii) asynchrony---to avoid hidden coupling. We show how the underlying abstractions and assumptions of the various languages fare on these criteria.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/15/2022

Collusion-Resistant Worker Set Selection for Transparent and Verifiable Voting

Collusion occurs when multiple malicious participants of a distributed p...
research
08/10/2017

Tosca: Operationalizing Commitments Over Information Protocols

The notion of commitment is widely studied as a high-level abstraction f...
research
09/16/2018

A Storm in an IoT Cup: The Emergence of Cyber-Physical Social Machines

The concept of social machines is increasingly being used to characteris...
research
08/14/2023

Omega-Regular Reward Machines

Reinforcement learning (RL) is a powerful approach for training agents t...
research
02/05/2021

Committee selection in DAG distributed ledgers and applications

In this paper, we propose several solutions to the committee selection p...
research
08/07/2019

A modelling methodology for social interaction experiments

Analysis of temporal network data arising from online interactive social...

Please sign up or login with your details

Forgot password? Click here to reset