eprintid: 2568
rev_number: 7
eprint_status: archive
userid: 6
dir: disk0/00/00/25/68
datestamp: 2015-02-06 13:43:58
lastmod: 2015-02-06 13:43:58
status_changed: 2015-02-06 13:43:58
type: book_section
metadata_visibility: show
creators_name: Clark, Allan
creators_name: Duguid, Adam
creators_name: Gilmore, Stephen
creators_name: Tribastone, Mirco
creators_id: 
creators_id: 
creators_id: 
creators_id: mirco.tribastone@imtlucca.it
title: Partial evaluation of PEPA models for fluid-flow analysis
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
note: 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings
abstract: 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.
date: 2008
date_type: published
series: Lecture Notes in Computer Science
number: 5261
publisher: Springer
pagerange: 2-16
id_number: 10.1007/978-3-540-87412-6_2
refereed: TRUE
isbn: 978-3-540-87412-6
book_title: Computer Performance Engineering
official_url: http://dx.doi.org/10.1007/978-3-540-87412-6_2
citation:   Clark, Allan and Duguid, Adam and Gilmore, Stephen and Tribastone, Mirco  Partial evaluation of PEPA models for fluid-flow analysis.   In:  Computer Performance Engineering.   Lecture Notes in Computer Science  (5261).  Springer, pp. 2-16.  ISBN 978-3-540-87412-6      (2008)