Modelling Mobility with UML2.0 and PEPA Nets

Authors:
Leila Kloul;Juliana Kuster-Filipe
Affiliations:
Universite de Versailles, Cedex, France;University of Birmingham
Venue:
ACSD '06 Proceedings of the Sixth International Conference on Application of Concurrency to System Design
Year:
2006

Citing 0
Cited 2

Performance Analysis of a Software Retrieval Service

Electronic Notes in Theoretical Computer Science (ENTCS)
Synthesising PEPA nets from IODs for performance analysis

Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

We show how UML2.0 together with PEPA nets can be used to model dynamic aspects of mobile applications. UML2.0 provides a new form of high-level description of interactions called interaction overview diagram. The combination of interaction overview diagrams and sequence diagrams is naturally translated into PEPA nets, a performance modelling language. In this way, the designers using UML can analyse their models formally using available tools for PEPA nets.