On Distributed Density in Tuple-based Coordination Languages

TL;DR

This paper introduces a novel extension to Linda-like coordination languages that incorporates distributed density, enhancing their ability to model complex distributed systems with increased expressiveness.

Contribution

It proposes a new language extension manipulating sets of tuples with distributed density, and proves it increases the expressiveness of existing Linda-like languages.

Findings

The new language models complex distributed systems more effectively.

Distributed density adds non-determinism to tuple operations.

The extension strictly increases language expressiveness.

Abstract

Inspired by the chemical metaphor, this paper proposes an extension of Linda-like languages in the aim of modeling the coordination of complex distributed systems. The new language manipulates finite sets of tuples and distributes a density among them. This new concept adds to the non-determinism inherent in the selection of matched tuples a non-determinism to the tell, ask and get primitives on the consideration of different tuples. Furthermore, thanks to de Boer and Palamidessi's notion of modular embedding, we establish that this new language strictly increases the expressiveness of the Dense Bach language introduced earlier and, consequently, Linda-like languages.