Probabilistic Linda-based Coordination Languages


Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)
3rd International Conference on Formal Methods for Components and Objects (FMCO'04), pages 120-140
LNCS 3657
Springer, Berlin, Heidelberg
2005

Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computational 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.

Tags:

Publication

— authors

Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky

— editors

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

— status

published

— sort

paper in proceedings

— publication date

2005

— volume

3rd International Conference on Formal Methods for Components and Objects (FMCO'04)

— series

LNCS

— volume

3657

— pages

120-140

— address

Berlin, Heidelberg

— location

Leiden, The Netherlands

URLs

original page

identifiers

— DOI

10.1007/11561163_6

— print ISSN

0302-9743

— ISBN–10

3-540-29131-8

— ISBN–13

978-3-540-29131-2

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY