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...
Main Authors: | , , |
---|---|
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 |