Modelling Mobility with UML2.0 and PEPA Nets

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Citations (Scopus)

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
Original languageEnglish
Title of host publicationApplication of Concurrency to System Design, 2006. ACSD 2006. Sixth International Conference on
PublisherIEEE Computer Society
Pages153 - 164
Number of pages12
DOIs
Publication statusPublished - 2006

Fingerprint

Dive into the research topics of 'Modelling Mobility with UML2.0 and PEPA Nets'. Together they form a unique fingerprint.

Cite this