Probabilistic Linda-Based Coordination Languages

Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation aspects. Coordination refers to the ways the independent active pieces of a program (e.g. a process, a task, a thread, etc.) communicate and synchronise with each other. We review various approaches to introducing probabilistic or stochastic features in coordination languages. The main objective of such a study is to develop a semantic basis for a quantitative analysis of systems of interconnected or interacting components, which allows us to address not only the functional (qualitative) aspects of a system behaviour but also its non-functional aspects, typically considered in the realm of performance modelling and evaluation.

• Type: Conference
• Year: 2004
• Where: FMCO
• Authors: Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
• Keywords: Coordination Aspects, Coordination Languages, Coordination Refers, FMCO 2004