The PEPA Feature Construct

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

Abstract

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
Pages125-142
Number of pages18
ISBN (Electronic)978-1-4471-0287-8
ISBN (Print)978-1-85233-392-8
DOIs
Publication statusPublished - 2001

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

Cite this