Kickstarting Choreographic Programming

We present an overview of some recent efforts aimed at the development of Choreographic Programming, a programming paradigm for the production of concurrent software that is guaranteed to be correct by construction from global descriptions of communication behaviour

A comparative analysis of different business ethics in the perspective of the Common Good

The paper concerns the connection between different tipologies of business ethics (kantian, utilitarian, aristotelic) and the alternative vision of economic development, company’s organizational and managerial context together with interest in Common Good more or less associated to profit to which they have given rise. In this comparison virtue ethics stands out for its capacity of creating, specially through the business virtue of generosity, social capital so precious to economic development at every level, for its capability of increasing people’s well-being, and for its capacity to make the production of relational goods (among which Common Good), on which people’s happiness depends, easier. Gift’s paradigm recovery can also be helpful to prevent other financial and economic crisis like the actual one which has had, like less striking but deepest cause, the triumph of avarice’s vice on the virtues of giving (generosity and justice).Business Ethics, Gift’s Economy, Generosity, Charity, Mercy, Social Capital, Relational Goods, Common Good

On Asynchrony and Choreographies

Choreographic Programming is a paradigm for the development of concurrent software, where deadlocks are prevented syntactically. However, choreography languages are typically synchronous, whereas many real-world systems have asynchronous communications. Previous attempts at enriching choreographies with asynchrony rely on ad-hoc constructions, whose adequacy is only argued informally. In this work, we formalise the properties that an asynchronous semantics for choreographies should have: messages can be sent without the intended receiver being ready, and all sent messages are eventually received. We explore how out-of-order execution, used in choreographies for modelling concurrency, can be exploited to endow choreographies with an asynchronous semantics. Our approach satisfies the properties we identified. We show how our development yields a pleasant correspondence with FIFO-based asynchronous messaging, modelled in a process calculus, and discuss how it can be adopted in more complex choreography models.Comment: In Proceedings ICE 2017, arXiv:1711.1070

Missing data in multiplex networks: a preliminary study

A basic problem in the analysis of social networks is missing data. When a network model does not accurately capture all the actors or relationships in the social system under study, measures computed on the network and ultimately the final outcomes of the analysis can be severely distorted. For this reason, researchers in social network analysis have characterised the impact of different types of missing data on existing network measures. Recently a lot of attention has been devoted to the study of multiple-network systems, e.g., multiplex networks. In these systems missing data has an even more significant impact on the outcomes of the analyses. However, to the best of our knowledge, no study has focused on this problem yet. This work is a first step in the direction of understanding the impact of missing data in multiple networks. We first discuss the main reasons for missingness in these systems, then we explore the relation between various types of missing information and their effect on network properties. We provide initial experimental evidence based on both real and synthetic data.Comment: 7 page