Mobile UML Statecharts with Localities. Full version

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.

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.