Francesco Calzolai, Michele Loreti

Network and distributed systems typically consists of a large number of actors that act and interact with each other in a highly dynamic environment. Due to the number of involved actors and their strong dependence on mobility and interaction, performance and dependability issues are of utmost importance for this class of systems. StoKlaim is a stochastic extension of Klaim specifically thought to facilitate the incorporation of random phenomena in models for network-aware computing. In this paper we show how StoKlaim can be used to specify and verify quantitative properties of distributed systems. To support the analysis an automatic tool is introduced and used.

Coordination Models and Languages, LNCS 6116, pp. 122-136,  2010.
Dave Clarke, Gul A. Agha (a cura di), Springer.
12th International Conference (COORDINATION 2010), Amsterdam, The Netherlands, 7-9 June 2010. Proceedings

@inproceedings{klaim-coord2010,
Author = {Calzolai, Francesco and Loreti, Michele},
Booktitle = {Coordination Models and Languages},
Doi = {10.1007/978-3-642-13414-2_9},
Editor = {Clarke, Dave and Agha, Gul A.},
Isbn = {978-3-642-13413-5},
Issn = {0302-0473},
Note = {12th International Conference (COORDINATION 2010), Amsterdam, The Netherlands, 7-9~} # jun # {~2010. Proceedings},
Pages = {122--136},
Publisher = {Springer},
Series = {LNCS},
Title = {Simulation and Analysis of Distributed Systems in {K}laim},
Url = {http://www.springerlink.com/content/v0542162345h3523/},
Url-Pdf = {http://www.springerlink.com/content/v0542162345h3523/fulltext.pdf},
Volume = 6116,
Year = 2010}

Pubblicazione

— autori/autrici

Francesco Calzolai, Michele Loreti

— a cura di

Dave Clarke, Gul A. Agha

— stato

pubblicato

— tipo

articolo in atti

Sede di pubblicazione

— volume

Coordination Models and Languages

— collana

LNCS 6116

— data di pubblicazione

2010

— pagine

122-136

— collana

LNCS 6116

— data di pubblicazione

2010

URL & ID

pagina originale
PDF originale

— DOI

10.1007/978-3-642-13414-2_9

— print ISSN

0302-0473

— print ISBN

978-3-642-13413-5

BibTeX

— BibTeX ID
klaim-coord2010
— BibTeX category
inproceedings

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