Browse by author
Lookup NU author(s): Said Kamil, Dr Nigel Thomas
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
