Logo eprints

Formal modeling and quantitative analysis of KLAIM-based mobile systems

De Nicola, Rocco and Latella, Diego and Massink, Mieke Formal modeling and quantitative analysis of KLAIM-based mobile systems. In: Proceedings of the 2005 ACM symposium on Applied computing. SAC '05 . ACM, pp. 428-435. ISBN 1-58113-964-0 (2005)

Full text not available from this repository.


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.

Item Type: Book Section
Identification Number: 10.1145/1066677.1066777
Uncontrolled Keywords: coordination languages, formal modeling and validation, mobile systems, stochastic behavior
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Rocco De Nicola
Date Deposited: 03 Jun 2011 14:57
Last Modified: 11 Jul 2011 14:36
URI: http://eprints.imtlucca.it/id/eprint/308

Actions (login required)

Edit Item Edit Item