Modelling Mobility with UML2.0 and PEPA Nets

Juliana Kuster Filipe Bowles; Leila Kloul

doi:10.1109/ACSD.2006.13

Modelling Mobility with UML2.0 and PEPA Nets

Juliana Kuster Filipe Bowles, Leila Kloul

School of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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 language	English
Title of host publication	Application of Concurrency to System Design, 2006. ACSD 2006. Sixth International Conference on
Publisher	IEEE Computer Society
Pages	153 - 164
Number of pages	12
DOIs	https://doi.org/10.1109/ACSD.2006.13
Publication status	Published - 2006

Access to Document

10.1109/ACSD.2006.13

Cite this

@inproceedings{b9b48a6d540c47709eb0b8a13d6571d0,

title = "Modelling Mobility with UML2.0 and PEPA Nets",

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",

author = "Bowles, {Juliana Kuster Filipe} and Leila Kloul",

year = "2006",

doi = "10.1109/ACSD.2006.13",

language = "English",

pages = "153 -- 164 ",

booktitle = "Application of Concurrency to System Design, 2006. ACSD 2006. Sixth International Conference on",

publisher = "IEEE Computer Society",

address = "United States",

}

TY - GEN

T1 - Modelling Mobility with UML2.0 and PEPA Nets

AU - Bowles, Juliana Kuster Filipe

AU - Kloul, Leila

PY - 2006

Y1 - 2006

N2 - 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

AB - 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

U2 - 10.1109/ACSD.2006.13

DO - 10.1109/ACSD.2006.13

M3 - Conference contribution

SP - 153

EP - 164

BT - Application of Concurrency to System Design, 2006. ACSD 2006. Sixth International Conference on

PB - IEEE Computer Society

ER -

Modelling Mobility with UML2.0 and PEPA Nets

Abstract

Access to Document

Fingerprint

Cite this