TY  - CHAP
A1  - De Nicola, Rocco
A1  - Latella, Diego
A1  - Massink, Mieke
PB  - ACM
T3  - SAC '05
SP  - 428
Y1  - 2005///
ED  - Haddad, Hisham
ED  - M. Liebrock, Lorie
ED  - Omicini, Andrea
ED  - L. Wainwright, Roger
SN  - 1-58113-964-0
N2  - KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architecture configuration are key issues. In this paper we propose STOCKLAIM, a STOchastic extension of cKLAIM, the core subset of KLAIM. cKLAIM includes process distribution, process mobility, and asynchronous communication. The extension makes it possible to integrate the modeling of quantitative aspects of mobile systems--- e.g. performance---with the functional specification of such systems. We present a formal operational semantics of STOcKLAIM, which associates a labeled transition system to each STOcKLAIM network and a translation to Continuous Time Markov Chains for quantitative analysis. We also show how STOcKLAIM can be used by means of a simple example, i.e. the modeling of the spreading of a virus.
AV  - none
TI  - Formal modeling and quantitative analysis of KLAIM-based mobile systems
KW  - coordination languages
KW  -  formal modeling and validation
KW  -  mobile systems
KW  -  stochastic behavior
UR  - http://doi.acm.org/10.1145/1066677.1066777
ID  - eprints308
EP  - 435
T2  - Proceedings of the 2005 ACM symposium on Applied computing
ER  -