Synthesising PEPA nets from IODs for performance analysis

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

6 Citations (Scopus)


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 languageEnglish
Title of host publicationWOSP/SIPEW '10 Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering
ISBN (Print)978-1-60558-563-5
Publication statusPublished - 2010


Dive into the research topics of 'Synthesising PEPA nets from IODs for performance analysis'. Together they form a unique fingerprint.

Cite this