Toggle Main Menu Toggle Search

Open Access padlockePrints

From Protocols to People: Large Scale Analysis in Markovian Process Algebra

Lookup NU author(s): Dr Nigel Thomas, Professor Michael HarrisonORCiD, Yishi Zhao, Xiao Chen


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


In this paper we consider two very different case studies explored using scalable analysis techniques and stochastic process algebra. The first case study is a classical computer science problem: determining the efficiency of two non-repudiation protocols. We use PEPA to specify the model derived from the protocol specification and mean value analysis and fluid approximation to derive the desired metrics. In the second case study we model a human-centric system, concerning patient flow through a hospital clinic. The model is derived from the clinic practice and observed takt times are used to populate the model. We use PEPA and fluid approximations to derive measures. The two case studies demonstrate the power and versatility of the modelling and analysis approaches used.

Publication metadata

Author(s): Thomas N, Harrison M, Zhao Y, Chen X

Editor(s): Tribastone, M., Gilmore, S.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Computer Performance Engineering: EPEW/UKPEW 2012

Year of Conference: 2012

Pages: 127-139

ISSN: 0302-9743

Publisher: Springer


DOI: 10.1007%2F978-3-642-36781-6_9

Notes: E-ISBN: 9783642367816

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783642367809