Title :
Modelling Mobility with UML2.0 and PEPA Nets
Author :
Kloul, Leïla ; Küster-Filipe, Juliana
Author_Institution :
PRiSM, Univ. de Versailles
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;
Conference_Titel :
Application of Concurrency to System Design, 2006. ACSD 2006. Sixth International Conference on
Conference_Location :
Turku
Print_ISBN :
0-7695-2556-3
DOI :
10.1109/ACSD.2006.13
