The PEPA Feature Construct

Stephen Gilmore; Jane Hillston

doi:10.1007/978-1-4471-0287-8_8

The PEPA Feature Construct

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 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	https://doi.org/10.1007/978-1-4471-0287-8_8
Publication status	Published - 2001

Access to Document

10.1007/978-1-4471-0287-8_8

http://link.springer.com/chapter/10.1007%2F978-1-4471-0287-8_8#

Cite this

@inproceedings{95e0aeda690645018a7612978c750f93,

title = "The PEPA Feature Construct",

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.",

author = "Stephen Gilmore and Jane Hillston",

year = "2001",

doi = "10.1007/978-1-4471-0287-8_8",

language = "English",

isbn = "978-1-85233-392-8",

pages = "125--142",

editor = "Stephen Gilmore and Mark Ryan",

booktitle = "Language Constructs for Describing Features",

publisher = "Springer London",

address = "United Kingdom",

}

TY - GEN

T1 - The PEPA Feature Construct

AU - Gilmore, Stephen

AU - Hillston, Jane

PY - 2001

Y1 - 2001

N2 - 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.

AB - 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.

U2 - 10.1007/978-1-4471-0287-8_8

DO - 10.1007/978-1-4471-0287-8_8

M3 - Conference contribution

SN - 978-1-85233-392-8

SP - 125

EP - 142

BT - Language Constructs for Describing Features

A2 - Gilmore, Stephen

A2 - Ryan, Mark

PB - Springer London

ER -

The PEPA Feature Construct

Abstract

Access to Document

Fingerprint

Cite this