A Case Study in Capacity Planning for PEPA Models with the PEPA Eclipse Plug-in

Christopher D. Williams; Allan Clark

doi:10.1016/j.entcs.2015.10.020

A Case Study in Capacity Planning for PEPA Models with the PEPA Eclipse Plug-in

Christopher D. Williams, Allan Clark

Research output: Contribution to journal › Article › peer-review

Abstract / Description of output

Abstract We report on the addition of Capacity Planning facilities to the PEPA Eclipse Plug-in, a software tool for analysing performance models written in the PEPA language. The PEPA language allows the compositional description of complex systems consisting of different kinds of processes. The capacity planning addition allows modellers to automatically search for the populations of processes that allows for an optimal trade-off between the performance of the system and the cost of acquiring or operating the components of the system under the modeller's control.

Original language	English
Pages (from-to)	69-89
Number of pages	21
Journal	Electronic Notes in Theoretical Computer Science
Volume	318
DOIs	https://doi.org/10.1016/j.entcs.2015.10.020
Publication status	Published - Nov 2015

Keywords / Materials (for Non-textual outputs)

Modelling

Access to Document

10.1016/j.entcs.2015.10.020

1-s2.0-S1571066115000614-mainFinal published version, 422 KBLicence: Creative Commons: Attribution-NonCommercial-NoDerivatives (CC BY-NC-ND)

http://www.sciencedirect.com/science/article/pii/S1571066115000614

Cite this

@article{2bd62ce1ffd54649836cc5e4bf5ba3ce,

title = "A Case Study in Capacity Planning for PEPA Models with the PEPA Eclipse Plug-in",

abstract = "Abstract We report on the addition of Capacity Planning facilities to the PEPA Eclipse Plug-in, a software tool for analysing performance models written in the PEPA language. The PEPA language allows the compositional description of complex systems consisting of different kinds of processes. The capacity planning addition allows modellers to automatically search for the populations of processes that allows for an optimal trade-off between the performance of the system and the cost of acquiring or operating the components of the system under the modeller's control.",

keywords = "Modelling",

author = "Williams, {Christopher D.} and Allan Clark",

year = "2015",

month = nov,

doi = "10.1016/j.entcs.2015.10.020",

language = "English",

volume = "318",

pages = "69--89",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

}

TY - JOUR

T1 - A Case Study in Capacity Planning for PEPA Models with the PEPA Eclipse Plug-in

AU - Williams, Christopher D.

AU - Clark, Allan

PY - 2015/11

Y1 - 2015/11

N2 - Abstract We report on the addition of Capacity Planning facilities to the PEPA Eclipse Plug-in, a software tool for analysing performance models written in the PEPA language. The PEPA language allows the compositional description of complex systems consisting of different kinds of processes. The capacity planning addition allows modellers to automatically search for the populations of processes that allows for an optimal trade-off between the performance of the system and the cost of acquiring or operating the components of the system under the modeller's control.

AB - Abstract We report on the addition of Capacity Planning facilities to the PEPA Eclipse Plug-in, a software tool for analysing performance models written in the PEPA language. The PEPA language allows the compositional description of complex systems consisting of different kinds of processes. The capacity planning addition allows modellers to automatically search for the populations of processes that allows for an optimal trade-off between the performance of the system and the cost of acquiring or operating the components of the system under the modeller's control.

KW - Modelling

U2 - 10.1016/j.entcs.2015.10.020

DO - 10.1016/j.entcs.2015.10.020

M3 - Article

SN - 1571-0661

VL - 318

SP - 69

EP - 89

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

ER -

A Case Study in Capacity Planning for PEPA Models with the PEPA Eclipse Plug-in

Abstract / Description of output

Keywords / Materials (for Non-textual outputs)

Access to Document

Fingerprint

Cite this