Mobile UML statecharts with localities (Articolo in rivista)

Type
Label
  • Mobile UML statecharts with localities (Articolo in rivista) (literal)
Anno
  • 2005-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1007/978-3-540-31794-4_3 (literal)
Alternative label
  • Diego Latella; Mieke Massink; Hubert Baumeister; Martin Wirsing (2005)
    Mobile UML statecharts with localities
    in Lecture notes in computer science; Springer-Verlag, Berlin (Germania)
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Diego Latella; Mieke Massink; Hubert Baumeister; Martin Wirsing (literal)
Pagina inizio
  • 34 (literal)
Pagina fine
  • 58 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni
  • Titolo del Volume: Global Computing IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9-12, 2004. Revised Selected Papers (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 3267 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • In: Global Computing: IST/FET International Workshop, GC ( Rovereto, italy, March 9-12, 2004). Revised selected papers. Corrado Priami, Paola quaglia (eds.). Springer, 2005. (literal)
Note
  • Scopus (literal)
  • ISI Web of Science (WOS) (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR, Istituto di Scienza e Tecnologie dell'Informazione, Via Moruzzi 1, I56124 Pisa, Italy; CNR, Istituto di Scienza e Tecnologie dell'Informazione, Via Moruzzi 1, I56124 Pisa, Italy; LMU, Institut fu ?r Informatik, Oettingenstr. 67, D-80538 Mu ?nchen, Germany; LMU, Institut fu ?r Informatik, Oettingenstr. 67, D-80538 Mu ?nchen, Germany (literal)
Titolo
  • Mobile UML statecharts with localities (literal)
Abstract
  • In this paper an extension of a behavioural subset of UML statecharts for mobile computations is proposed. We study collections of UML objects whose behaviour is given by statecharts. Each object resides in a given place, and a collection of such places forms a network. Objects are aware of the {em localities} of other objects, i.e. the logical names of the places where the latter reside, but not of the physical name of such places. In addition to their usual capabilities, such as sending messages etc., objects can move between places and create and destroy places, which may result in a deep reconfiguration of the network. A formal semantics is presented for this mobility extension which builds upon a core semantics definition of statecharts without mobility which we have used successfully in several contexts in the past years. An example of a model of a network service which exploits mobility for resource usage balance is provided using the proposed extension of UML statecharts. (literal)
Editore
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Autore CNR di
Prodotto
Editore di
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
Insieme di parole chiave di
data.CNR.it