TY  - CHAP
PB  - Springer
Y1  - 2008///
AV  - none
SP  - 2
N1  - 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings
SN  - 978-3-540-87412-6
EP  - 16
T2  - Computer Performance Engineering
A1  - Clark, Allan
A1  - Duguid, Adam
A1  - Gilmore, Stephen
A1  - Tribastone, Mirco
UR  - http://dx.doi.org/10.1007/978-3-540-87412-6_2
N2  - 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.
T3  - Lecture Notes in Computer Science
ID  - eprints2568
TI  - Partial evaluation of PEPA models for fluid-flow analysis
ER  -