The PEPA Feature Construct

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


We 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 then show how the feature construct can be applied in a small case study.
Original languageEnglish
Title of host publicationLanguage Constructs for Describing Features
Subtitle of host publicationProceedings of the FIREworks workshop
EditorsStephen Gilmore, Mark Ryan
PublisherSpringer London
Number of pages18
ISBN (Electronic)978-1-4471-0287-8
ISBN (Print)978-1-85233-392-8
Publication statusPublished - 2001


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

Cite this