"On the Expressiveness of Multiplicities in Data-based Coordination Languages"

Journal of Logic and Algebraic Methods in Programming

Abstract :

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.

Auteurs

Denis Darquennes (Cetic Research Center, Avenue Jean Mermoz 28, 6041 Charleroi, Belgium and Faculty of Computer Science, Nadi Research Institute, University of Namur, rue Grandgagnage 21, 5000 Namur, Belgium)

Jean-Marie Jacquet (Corresponding author) (Faculty of Computer Science, Nadi Research Institute, University of Namur, rue Grandgagnage 21, 5000 Namur, Belgium)

Isabelle Linden (Faculty of Economic, Social and Business Sciences, Nadi Research Institute, University of Namur, Rempart de la Vierge 8, 5000 Namur, Belgium)

Contacts :
Denis.Darquennes@cetic.be, Denis.Darquennes@unamur.be Jean-Marie.Jacquet@unamur.be, Isabelle.Linden@unamur.be

1ORCID : 0000-0001-7259-0837
2ORCID : 0000-0001-9531-0519
3ORCID : 0000-0001-8034-1857