Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky

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.

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

@incollection{probabilisticlinda-lncs3657,
Acmid = {2104477},
Address = {Berlin, Heidelberg},
Author = {Di Pierro, Alessandra and Hankin, Chris and Wiklicky, Herbert},
Booktitle = {3rd International Conference on Formal Methods for Components and Objects (FMCO'04)},
Doi = {10.1007/11561163_6},
Editor = {de Boer, Frank S. and Bonsangue, Marcello M. and Graf, Susanne and de Roever, Willem-Paul},
Isbn-10 = {3-540-29131-8},
Isbn-13 = {978-3-540-29131-2},
Issn = {0302-9743},
Location = {Leiden, The Netherlands},
Pages = {120--140},
Publisher = {Springer},
Series = {LNCS},
Title = {Probabilistic {L}inda-based Coordination Languages},
Url = {http://www.springerlink.com/content/c2qnc5wnxfcfucyy},
Volume = 3657,
Year = 2005}
Tags:

Pubblicazione

— autori/autrici

Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky

— a cura di

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

— stato

pubblicato

— tipo

articolo in atti

Sede di pubblicazione

— volume

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

— collana

LNCS

— volume

3657

— pagine

120-140

— data di pubblicazione

2005

URL

pagina originale

Identificatori

— DOI

10.1007/11561163_6

— print ISSN

0302-9743

— ISBN–10

3-540-29131-8

— ISBN–13

978-3-540-29131-2

BibTeX

— BibTeX ID
probabilisticlinda-lncs3657
— BibTeX category
incollection

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY