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

Thomas, N; Harrison, M; Zhao, Y; Chen, X

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

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

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

Downloads

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

Abstract

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.