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. © 2010 Springer-Verlag.
CITATION STYLE
Calzolai, F., & Loreti, M. (2010). Simulation and analysis of distributed systems in Klaim. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6116 LNCS, pp. 122–136). https://doi.org/10.1007/978-3-642-13414-2_9
Mendeley helps you to discover research relevant for your work.