On Distributed Density in Tuple-based Coordination Languages

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 in...

Full description

Bibliographic Details
Main Authors: Denis Darquennes, Jean-Marie Jacquet, Isabelle Linden
Format: Article
Language:English
Published: Open Publishing Association 2015-02-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1502.03513v1
id doaj-82cabe52283f41e38ae40fb837f2286f
record_format Article
spelling doaj-82cabe52283f41e38ae40fb837f2286f2020-11-24T23:27:25ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802015-02-01175Proc. FOCLASA 2014365310.4204/EPTCS.175.3:3On Distributed Density in Tuple-based Coordination LanguagesDenis Darquennes0Jean-Marie Jacquet1Isabelle Linden2 Mr Dr Dr 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.http://arxiv.org/pdf/1502.03513v1
collection DOAJ
language English
format Article
sources DOAJ
author Denis Darquennes
Jean-Marie Jacquet
Isabelle Linden
spellingShingle Denis Darquennes
Jean-Marie Jacquet
Isabelle Linden
On Distributed Density in Tuple-based Coordination Languages
Electronic Proceedings in Theoretical Computer Science
author_facet Denis Darquennes
Jean-Marie Jacquet
Isabelle Linden
author_sort Denis Darquennes
title On Distributed Density in Tuple-based Coordination Languages
title_short On Distributed Density in Tuple-based Coordination Languages
title_full On Distributed Density in Tuple-based Coordination Languages
title_fullStr On Distributed Density in Tuple-based Coordination Languages
title_full_unstemmed On Distributed Density in Tuple-based Coordination Languages
title_sort on distributed density in tuple-based coordination languages
publisher Open Publishing Association
series Electronic Proceedings in Theoretical Computer Science
issn 2075-2180
publishDate 2015-02-01
description 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.
url http://arxiv.org/pdf/1502.03513v1
work_keys_str_mv AT denisdarquennes ondistributeddensityintuplebasedcoordinationlanguages
AT jeanmariejacquet ondistributeddensityintuplebasedcoordinationlanguages
AT isabellelinden ondistributeddensityintuplebasedcoordinationlanguages
_version_ 1725552043004788736