On the expressiveness of multiplicities in data-based coordination languages
| Autor: | Denis Darquennes, Jean-Marie Jacquet, Isabelle Linden |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2020 |
| Předmět: |
Logic
Computer science business.industry Programming language Expressiveness Multiplicity (mathematics) 0102 computer and information sciences Modular design computer.software_genre 01 natural sciences Theoretical Computer Science Computational Theory and Mathematics Multiplicity 010201 computation theory & mathematics Coordination Embedding Modular embedding Tuple business Bach computer Software |
| Zdroj: | Journal of Logical and Algebraic Methods in Programming. 112 |
| ISSN: | 2352-2216 2352-2208 |
| DOI: | 10.1016/j.jlamp.2020.100528 |
| Popis: | Coordination languages and models have proved to be well suited to program the interaction of a wide variety of data-intensive distributed systems. Building upon previous work by the authors, this paper aims at exploring how the addition of multiplicity information to tuples increases the expressiveness of Linda-like languages. It proposes a set of languages integrating the multiplicity in different perspectives. The expressiveness hierarchy between these languages is then studied through the notion of modular embedding proposed by De Boer and Palamidessi. Complementing these theoretical study, considerations on the implementation are drawn, which attest that the more expressive a language is, the more expensive is its implementation. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
Full Text from ScienceDirect