Browse by author
Lookup NU author(s): Said Kamil, Dr Nigel ThomasORCiD
This is the final published version of a report that has been published in its final definitive form by School of Computing Science, University of Newcastle upon Tyne, 2015.
For re-use rights please refer to the publisher's terms and conditions.
Performance modellers rely on the accuracy and correctness of tools in order to derive results that can be trusted to give useful insights into system behaviour. However, different tools may be developed from different perspectives and apparently similar analysis may give different results in some situations. In this paper we explore the use of two tools developed to support the analysis of the stochastic process algebra, PEPA. The tools, the PEPA Eclipse Plug-in and the Grouped PEPA Analyser are shown to give consistent results in many situations, but also show some inconsistencies which may not be predictable by the modeller. Hence this paper aims to give some insight as to where the two tools differ in the context of two models of workflow based systems.
Author(s): Kamil S, Thomas N
Publication type: Report
Publication status: Published
Series Title: School of Computing Science Technical Report Series
Year: 2015
Pages: 19
Report Number: 1478
Institution: School of Computing Science, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
