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)
Full text not available from this repository.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.
| Item Type: | Book Section |
|---|---|
| Identification Number: | 10.1007/978-3-540-87412-6_2 |
| Additional Information: | 5th European Performance Engineering Workshop, EPEW 2008, Palma de Mallorca, Spain, September 24-25, 2008. Proceedings |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| Research Area: | Computer Science and Applications |
| Depositing User: | Ms T. Iannizzi |
| Date Deposited: | 06 Feb 2015 13:43 |
| Last Modified: | 06 Feb 2015 13:43 |
| URI: | http://eprints.imtlucca.it/id/eprint/2568 |
Actions (login required)
 |
Edit Item |
