A Feature Construct for PEPA

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

Abstract

e show how the PEPA performance modelling language could be extended with a feature construct which can be used to describe modifications to PEPA models. We provide this construct with an operational description which conservatively extends the operational semantics of the PEPA language. We apply the feature construct in a small case study. 1 Introduction PEPA (Performance Evaluation Process Algebra) [1] is a performance modelling notation. It is also a process algebra, a concise mathematical language which is amenable to formal reasoning. PEPA is defined by an unambiguous semantics which makes clear the meaning of all models which are expressed in the language. It has been used to investigate the behaviour and performance of a diversity of distributed and concurrent systems [2, 3, 4, 5, 6, 7]. Constructing performance models of distributed systems is a worthwhile activity. Distributed systems often have designs which are both complex and novel.
Original languageEnglish
Title of host publicationProceedings of the Fifteenth UK Performance Engineering Workshop
EditorsN. Davies, J. Bradley
Pages225-236
Number of pages12
Publication statusPublished - 1999

Fingerprint Dive into the research topics of 'A Feature Construct for PEPA'. Together they form a unique fingerprint.

Cite this