PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Latella D., Massink M. On Mobility Extensions of UML Statecharts. A Pragmatic Approach. In: Formal Methods for Open Object-based Distributed Systems (Paris, 19-21 November 2003). Proceedings, pp. 199 - 213. Najm E., Nestmann U.and Stevens P (eds.). (Lecture Notes in Computer Science, vol. 2884). Springer Verlag, 2003.
 
 
Abstract
(English)
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.
Subject UML Statecharts
Mobility and Global Computing
Formal Semantics
F.1.2 Modes of Computation


Icona documento 1) Download Document PDF


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