基于元组的协调语言中的分布密度
On Distributed Density in Tuple-based Coordination Languages
摘要：
受化学隐喻的启发，本文提出了一种扩展的Linda类语言，旨在为复杂分布式系统的协调建模。新语言操纵有限的元组集，并在它们之间分配密度。这个新的概念增加了在选择匹配元组中固有的非确定性，一个非确定性的告诉，问和得到原语上的考虑不同的元组。此外，由于de Boer和Palamidessi的模块化嵌入的概念，我们建立了这种新的语言严格增加了前面介绍的密集巴赫语言的表达能力，因此，Linda类语言。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
