PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Latella D., Massink M., Baumeister H., Wirsing M. Mobile UML Statecharts with Localities. The document has been submitted to Conference ETAPS/FASE 04 - Barcelona, March 2004, Technical report, 2003.
 
 
Abstract
(English)
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, in their mutual interactions, are aware of the 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 e.t.c., 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 resourse usage balance is provided using the proposed extension of UML statecharts.
Abstract
(Italiano)
Viene definita una estensione per la mobilita' per un dialetto degli statecharts di UML. La semantica formale copre adeguatamente la nozione nodo e di oggetto e quelle di creazione, distruzione e migrazione di oggetti nei nodi. Viene dato un esempio di applicazione dell'estensione.
Subject Mobility
Formal Semantics
UML
Statecharts
F.1 COMPUTATION BY ABSTRACT DEVICES
68Q55 Semantics


Icona documento 1) Download Document PS


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional