On mobility extensions of UML Statecharts; a pragmatic approach

In this paper an extension of a behavioural subset of UML Statecharts for modeling mobility issues is proposed. In this extension we relax the unique association between each Statechart - in a collection of Statecharts modeling a system - and its input-queue and we allow the use of (queue) name variables in communication actions. The resulting communication paradigm is much more exible than the standard asymmetric one and is well suited for the modelling of mobility-oriented as well as fault tolerant systems.