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 language | English |
---|---|
Title of host publication | Language Constructs for Describing Features |
Subtitle of host publication | Proceedings of the FIREworks workshop |
Editors | Stephen Gilmore, Mark Ryan |
Publisher | Springer London |
Pages | 125-142 |
Number of pages | 18 |
ISBN (Electronic) | 978-1-4471-0287-8 |
ISBN (Print) | 978-1-85233-392-8 |
DOIs | |
Publication status | Published - 2001 |