Simulation and Analysis of Distributed Systems in Klaim

Abstract : 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.
Type de document :
Communication dans un congrès
Dave Clarke; Gul Agha. 12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. Springer, Lecture Notes in Computer Science, LNCS-6116, pp.122-136, 2010, Coordination Models and Languages. 〈10.1007/978-3-642-13414-2_9〉
Liste complète des métadonnées

Littérature citée [25 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01054619
Contributeur : Hal Ifip <>
Soumis le : jeudi 7 août 2014 - 16:24:55
Dernière modification le : vendredi 11 août 2017 - 15:34:43
Document(s) archivé(s) le : mercredi 26 novembre 2014 - 01:51:42

Fichier

calzolailoreti.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Francesco Calzolai, Michele Loreti. Simulation and Analysis of Distributed Systems in Klaim. Dave Clarke; Gul Agha. 12th International Conference on Coordination Models and Languages (COORDINATION) Held as part of International Federated Conference on Distributed Computing Techniques (DisCoTec), Jun 2010, Amsterdam, Netherlands. Springer, Lecture Notes in Computer Science, LNCS-6116, pp.122-136, 2010, Coordination Models and Languages. 〈10.1007/978-3-642-13414-2_9〉. 〈hal-01054619〉

Partager

Métriques

Consultations de la notice

217

Téléchargements de fichiers

65