Partial Evaluation of PEPA Models for Fluid-Flow Analysis

Allan Clark, Adam Duguid, Stephen Gilmore, Mirco Tribastone

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

Abstract / Description of output

We present an application of partial evaluation to performance models expressed in the PEPA stochastic process algebra [1]. We partially evaluate the state-space of a PEPA model in order to remove uses of the cooperation and hiding operators and compile an arbitrary sub-model into a single sequential component. This transformation is applied to PEPA models which are not in the correct form for the application of the fluid-flow analysis for PEPA [2]. The result of the transformation is a PEPA model which is amenable to fluid-flow analysis but which is strongly equivalent [1] to the input PEPA model and so, by an application of Hillston’s theorem, performance results computed from one model are valid for the other. We apply the method to a Markovian model of a key distribution centre used to facilitate secure distribution of cryptographic session keys between remote principals communicating over an insecure network.
Original languageEnglish
Title of host publicationComputer Performance Engineering
Subtitle of host publication5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings
EditorsNigel Thomas, Carlos Juiz
PublisherSpringer-Verlag GmbH
Number of pages15
ISBN (Electronic)978-3-540-87412-6
ISBN (Print)978-3-540-87411-9
Publication statusPublished - 2008

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Dive into the research topics of 'Partial Evaluation of PEPA Models for Fluid-Flow Analysis'. Together they form a unique fingerprint.

Cite this