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)  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.
|Title of host publication||Proceedings of the Fifteenth UK Performance Engineering Workshop|
|Editors||N. Davies, J. Bradley|
|Number of pages||12|
|Publication status||Published - 1999|