Synthesising PEPA nets from IODs for performance analysis

Juliana Kuster Filipe Bowles; Leila Kloul

doi:10.1145/1712605.1712635

Synthesising PEPA nets from IODs for performance analysis

Juliana Kuster Filipe Bowles, Leila Kloul

School of Computer Science

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

6 Citations (Scopus)

Abstract

The object-based Unified Modeling Language (UML) is a popular medium for effective design of most systems. PEPA nets are a performance modelling technique which offers capabilities for capturing notions such as location, synchronisation and message passing, and are thus suited for performance modelling of mobile and distributed software. In this paper, we provide a new constructive approach that links both models by deriving a PEPA net which realises the same language (legal set of traces) as a given Interaction Overview Diagram (IOD) in UML2. We prove that the languages are strongly consistent (equivalent) by establishing the one-to-one correspondence between the traces of the models.

Original language	English
Title of host publication	WOSP/SIPEW '10 Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering
Publisher	ACM
ISBN (Print)	978-1-60558-563-5
DOIs	https://doi.org/10.1145/1712605.1712635
Publication status	Published - 2010

Access to Document

10.1145/1712605.1712635

Cite this

@inproceedings{9f7ab4fd878f4b0c87c41e345d742605,

title = "Synthesising PEPA nets from IODs for performance analysis",

abstract = "The object-based Unified Modeling Language (UML) is a popular medium for effective design of most systems. PEPA nets are a performance modelling technique which offers capabilities for capturing notions such as location, synchronisation and message passing, and are thus suited for performance modelling of mobile and distributed software. In this paper, we provide a new constructive approach that links both models by deriving a PEPA net which realises the same language (legal set of traces) as a given Interaction Overview Diagram (IOD) in UML2. We prove that the languages are strongly consistent (equivalent) by establishing the one-to-one correspondence between the traces of the models.",

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

year = "2010",

doi = "10.1145/1712605.1712635",

language = "English",

isbn = "978-1-60558-563-5",

booktitle = "WOSP/SIPEW '10 Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering",

publisher = "ACM",

address = "United States",

}

TY - GEN

T1 - Synthesising PEPA nets from IODs for performance analysis

AU - Bowles, Juliana Kuster Filipe

AU - Kloul, Leila

PY - 2010

Y1 - 2010

N2 - The object-based Unified Modeling Language (UML) is a popular medium for effective design of most systems. PEPA nets are a performance modelling technique which offers capabilities for capturing notions such as location, synchronisation and message passing, and are thus suited for performance modelling of mobile and distributed software. In this paper, we provide a new constructive approach that links both models by deriving a PEPA net which realises the same language (legal set of traces) as a given Interaction Overview Diagram (IOD) in UML2. We prove that the languages are strongly consistent (equivalent) by establishing the one-to-one correspondence between the traces of the models.

AB - The object-based Unified Modeling Language (UML) is a popular medium for effective design of most systems. PEPA nets are a performance modelling technique which offers capabilities for capturing notions such as location, synchronisation and message passing, and are thus suited for performance modelling of mobile and distributed software. In this paper, we provide a new constructive approach that links both models by deriving a PEPA net which realises the same language (legal set of traces) as a given Interaction Overview Diagram (IOD) in UML2. We prove that the languages are strongly consistent (equivalent) by establishing the one-to-one correspondence between the traces of the models.

U2 - 10.1145/1712605.1712635

DO - 10.1145/1712605.1712635

M3 - Conference contribution

SN - 978-1-60558-563-5

BT - WOSP/SIPEW '10 Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering

PB - ACM

ER -

Synthesising PEPA nets from IODs for performance analysis

Abstract

Access to Document

Fingerprint

Cite this