Toggle Main Menu Toggle Search

ePrints

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

Lookup NU author(s): Dr Nigel Thomas, Professor Michael Harrison, 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.


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

URL: http://dx.doi.org/10.1007%2F978-3-642-36781-6_9

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


Actions

Link to this publication


Share