eprintid: 308
rev_number: 10
eprint_status: archive
userid: 32
dir: disk0/00/00/03/08
datestamp: 2011-06-03 14:57:15
lastmod: 2011-07-11 14:36:25
status_changed: 2011-06-03 14:57:15
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: De Nicola, Rocco
creators_name: Latella, Diego
creators_name: Massink, Mieke
creators_id: r.denicola@imtlucca.it
creators_id: 
creators_id: 
title: Formal modeling and quantitative analysis of KLAIM-based mobile systems
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
keywords: coordination languages, formal modeling and validation, mobile systems, stochastic behavior
abstract: 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.
date: 2005
date_type: published
series: SAC '05
publisher: ACM
pagerange: 428-435
id_number: 10.1145/1066677.1066777
refereed: TRUE
isbn: 1-58113-964-0
book_title: Proceedings of the 2005 ACM symposium on Applied computing
editors_name: Haddad, Hisham
editors_name: M. Liebrock, Lorie
editors_name: Omicini, Andrea
editors_name: L. Wainwright, Roger
official_url: http://doi.acm.org/10.1145/1066677.1066777
citation:   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)