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
Inglese
Najm E., Nestmann U.and Stevens P.
Formal Methods for Open Object-Based Distributed Systems
FMOODS 2003
199
213
3-540-20491-1
Springer
Berlin
GERMANIA
Sì, ma tipo non specificato
19-21 November 2003
Parigi
UML Statecharts
Mobility and Global Computing
Formal Semantics
2
restricted
Latella, D; Massink, M
273
info:eu-repo/semantics/conferenceObject
04 Contributo in convegno::04.01 Contributo in Atti di convegno
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