AbstractCoordination languages provide a nice framework for separating computations from interaction among components. Promoted by Carriero and Gelernter, Linda is the first coordination language having been proposed. Since the
n, many variants have been studied in the coordination community, among others by the Coordination research group at the University of Namur. Most of them however suffer from the Linda property of manipulating only one tuple at a time, which is obviously not expressive enough to tackle service oriented applications where, for instance, recommendation is a key feature.
In this context, this thesis proposes and studies several extensions of Bach, a Linda dialect developped at the University of Namur. They offer the possibility of manipulating many instances of a same token at a time as well as of manipulating simultaneously many instances of different tokens. Our work includes both the definition of the languages, the study of their expressiveness, the design of implementations as well as the conception of tools for reasoning on programs written with them.
|Date of Award||7 Dec 2017|
|Supervisor||Jean-Marie JACQUET (Supervisor), Isabelle LINDEN (Co-Supervisor), Vincent ENGLEBERT (President), GILLES PERROUIN (Jury), Wim VANHOOF (Jury), Denis Zampunieris (Jury) & Erik De Vink (Jury)|
Attachment to an Research Institute in UNAMUR