Formal modeling and quantitative analysis of KLAIM-based mobile systems (Contributo in atti di convegno)

Type
Label
  • Formal modeling and quantitative analysis of KLAIM-based mobile systems (Contributo in atti di convegno) (literal)
Anno
  • 2005-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1145/1066677.1066777 (literal)
Alternative label
  • Rocco De Nicola; Diego Latella; Mieke Massink (2005)
    Formal modeling and quantitative analysis of KLAIM-based mobile systems
    in SAC '05 The 2005 ACM Symposium on Applied Computing, Santa Fe, NM, USA, March 13 - 17, 2005
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Rocco De Nicola; Diego Latella; Mieke Massink (literal)
Pagina inizio
  • 428 (literal)
Pagina fine
  • 435 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume
  • SAC '05 The 2005 ACM Symposium on Applied Computing Santa Fe, NM, USA -- March 13 - 17, 2005 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • (New Mexico, USA, March 13 -17, 2005). Proceedings, pp. 428-435. H. Haddad, L. Liebrock, A. Omicini, R. Wainwright, M. Palakal, M. Wilds, and H. Clausen, (eds.). ACM, 2005. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto
  • 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. (literal)
Note
  • Scopu (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • D.S.I. - Univ. di Firenze v. Lombroso 6/17, I50134 Firenze, Italy; C.N.R.-I.S.T.I. - A. Faedo v. Moruzzi 1, I56124 Pisa, Italy; C.N.R.-I.S.T.I. - A. Faedo v. Moruzzi 1, I56124 Pisa, Italy (literal)
Titolo
  • Formal modeling and quantitative analysis of KLAIM-based mobile systems (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 1-58113-964-0 (literal)
Abstract
  • KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architecture con- figuration 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 asyn- chronous communication. The extension makes it possible to in- tegrate the modeling of quantitative aspects of mobile systems-- e.g. performance--with the functional specification of such sys- tems. 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 (literal)
Editore
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Autore CNR di
Prodotto
Editore di
Insieme di parole chiave di
data.CNR.it