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.

On mobility extensions of UML Statecharts; a pragmatic approach

Latella D;Massink M
2003

Abstract

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.
2003
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
3-540-20491-1
UML Statecharts
Mobility and Global Computing
Formal Semantics
File in questo prodotto:
File Dimensione Formato  
prod_168905-doc_123648.pdf

solo utenti autorizzati

Descrizione: On Mobility Extensions of UML Statecharts. A Pragmatic Approach
Tipologia: Versione Editoriale (PDF)
Dimensione 270.68 kB
Formato Adobe PDF
270.68 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/150311
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 1
social impact