We describe a novel performability modelling approach which facilitates the efficient solution of performance models extracted from high-level descriptions of systems. The notation which we use for our high-level designs is the UML graphical modelling language. The technology which provides the efficient representation capability for the underlying performance model is the MTBDD-based PRISM probabilistic model checker. The UML models are compiled through an intermediate language, the stochastic process algebra PEPA, before translation into MTBDDs for solution. We illustrate our approach on a real-world analysis problem from the domain of mobile telephony. © Springer-Verlag Berlin Heidelberg 2003.
CITATION STYLE
Gilmore, S., & Kloul, L. (2003). A unified tool for performance modelling and prediction. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2788, 179–192. https://doi.org/10.1007/978-3-540-39878-3_15
Mendeley helps you to discover research relevant for your work.