Abstract: Web-based collaborative systems, where most computation is performed by human collectives, have distinctly different requirements from traditional workflow orchestration systems, as humans have to be mobilised to perform computations and the system has to adapt to their collective behaviour at runtime. In this paper, we present a social orchestration system called SmartOrch, which has been designed specifically for collective adaptive systems in which human participation is at the core of the overall distributed computation. SmartOrch provides a flexible and customisable workflow composition framework that has multi-level optimisation capabilities. These features allow us to manage the uncertainty that collective adaptive systems need to deal with in a principled way.
We demonstrate the benefits of SmartOrch with simulation experiments in a ridesharing domain. Our experiments show that SmartOrch is able to respond flexibly to variation
in collective human behaviour, and to adapt to observed behaviour at different levels. This is accomplished by learning how to propose and route human-based tasks, how to allocate computational resources when managing these tasks, and how to adapt the overall interaction model of the platform based on past performance. By proposing novel, solid engineering principles for these kinds of systems, SmartOrch addresses shortcomings of previous work that mostly focused on application-specific, non-adaptive solutions.

Citation: M. Rovatsos, D. Diochnos, Z. Wen, S. Ceppi, and P. Andreadis. SmartOrch: An Adaptive Orchestration System for Human-Machine Collectives. In Proceedings of the Special Track on Collective Adaptive Systems of the 32nd ACM Symposium on Applied Computing (SAC2017), Marrakech, Morocco, 2017. In Press

Download: http://bit.ly/2jBDYlu

Abstract: Despite the fact that social computation systems involve interaction mechanisms that closely resemble well-known models of agent coordination, current applications in this area make little or no use of the techniques the agent-based systems literature has to offer. In order to bridge this gap, this paper proposes a data-driven method for defining and deploying agent interaction protocols that is entirely based on using the standard architecture of the World Wide Web. This obviates the need of bespoke message passing mechanisms and agent platforms, thereby facilitating the use of agent coordination principles in standard Web-based applications. We describe a prototypical implementation of the architecture and experimental results that prove it can deliver the scalability and robustness required of modern social computation applications while maintaining the expressiveness and versatility of agent interaction protocols.

Citation: M. Rovatsos, D. Diochnos, and M. Craciun. Agent Protocols for Social Computation. Advances in Social Computing and Multiagent Systems, CCIS 541, Springer, 2015.

Download: http://bit.ly/2jcIfiG

Abstract: The recent media focus on Smart City services, particularly ride sharing, that provide ordinary users with the ability to advertise their resources has highlighted society’s need for transparent and accountable systems. Current systems offer little transparency behind their processes that claim to provide accountability to and for their users. To address such a concern, some applications provide a static, textual description of the automated algorithms used, with a view to promote transparency. However, this is not sufficient to inform users exactly how information is derived. These descriptions can be enhanced by explaining the actual execution of the algorithm, the data it operated on, and the parameters it was configured with. Such descriptions about a system’s execution and its information flow can be expressed using PROV, a standardised provenance data model. However, given its generic and domain-agnostic nature, PROV only provides limited information about the relationship between provenance elements. Combined with semantic information, a PROV instance becomes a rich resource, which can be exploited to provide users with understandable accounts of automated processes, thereby promoting transparency and accountability. Thus, this paper contributes, a vocabulary for Smart City resource sharing applications, an architecture for accountable systems, and a set of use cases that demonstrate and quantify how the semantics enrich an account in a ride share scenario.

Citation: Heather Packer, Dimitris Diochnos, Michael Rovatsos, Ya’akov Gal, Luc Moreau, Semantics and Provenance for Accountable Smart City Applications, The Role of Semantics in Smart Cities, Semantic Web Journal special issue, 2014.

Download: http://bit.ly/2jcTK9B

Abstract: Hybrid Diversity-aware Collective Adaptive Systems (HDA-CAS) is a new generation of socio-technical systems where both humans and machine peers complement each other and operate collectively to achieve their goals. These systems are characterized by the fundamental properties of hybridity and collectiveness, hiding from users the complexities associated with managing the collaboration and coordination of hybrid human/machine teams. In this paper we present the key programming elements of the SmartSociety HDA-CAS platform. We first describe the overall platform’s architecture and functionality and then present concrete programming model elements – Collective-based Tasks (CBTs) and Collectives, describe their properties and show how they meet the hybridity and collectiveness requirements. We also describe the associated Java language constructs, and show how concrete use-cases can be encoded with the introduced constructs.

Citation: O. Scekic, T. Schiavinotto, D. I. Diochnos, M. Rovatsos, H.-L. Truong, I. Carreras, S. Dustdar, Programming Model Elements for Hybrid Collaborative Adaptive Systems, 1st IEEE International Conference on Collaboration and Internet Computing (CIC’15), 27-30 October 2015, Hangzhou, China.

Citation: http://bit.ly/1p8SJOP

Abstract: Society is moving towards a socio-technical ecosystem in which physical and virtual dimensions of life are intertwined and where people interactions ever more take place with or are mediated by machines. Hybrid Diversity-aware Collective Adaptive Systems (HDA-CAS) is a new generation of sociotechnical systems where humans and machines synergetically complement each other and operate collectively to achieve their goals. HDA-CAS introduce the fundamental properties of hybridity and collectiveness, hiding from the users the complexities associated with managing the collaboration and coordination of machine and human computing elements. In this paper we present an HDA-CAS system called SmartSociety, supporting computations with hybrid human/machine collectives. We describe the platform’s architecture and functionality, validate it on two real-world scenarios involving human and machine elements and present a performance evaluation.

Citation: O. Scekic, D. Miorandi, T. Schiavinotto, D. I. Diochnos, A. Hume, R. Chenu-Abente, H.-L. Truong, M. Rovatsos, I. Carreras, S. Dustdar, F. Giunchiglia, SmartSociety — A Platform for Collaborative People-Machine Computation, The 8th IEEE International Conference on Service Oriented Computing & Applications (SOCA’15), 19-21 October 2015, Rome, Italy.

Download: http://bit.ly/1Wz4eN5