DocumentCode
2067465
Title
Modelling Mobility with UML2.0 and PEPA Nets
Author
Kloul, Leïla ; Küster-Filipe, Juliana
Author_Institution
PRiSM, Univ. de Versailles
fYear
2006
fDate
28-30 June 2006
Firstpage
153
Lastpage
164
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
Keywords
Petri nets; Unified Modeling Language; mobile computing; process algebra; stochastic processes; PEPA net; UML2.0; Unified Modeling Language; interaction overview diagram; mobile application; mobility modeling; performance evaluation process algebra; performance modelling language; sequence diagram; Algebra; Application software; Computer science; Concurrent computing; Mobile computing; Performance analysis; Petri nets; Stochastic processes; Timing; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
Application of Concurrency to System Design, 2006. ACSD 2006. Sixth International Conference on
Conference_Location
Turku
ISSN
1550-4808
Print_ISBN
0-7695-2556-3
Type
conf
DOI
10.1109/ACSD.2006.13
Filename
1640233
Link To Document