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. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1007/978-3-642-36781-6_9 | EPEW/UKPEW |
Keywords | Field | DocType |
formal performance modelling,scalable analysis technique,clinic practice,non-repudiation protocol,hospital clinic,human-centric system,classical computer science problem,different case study,fluid approximation,case study,value analysis | Mean value analysis,Stochastic process algebra,Computer science,Simulation,Patient flow,Protocol specification,Theoretical computer science,Takt time,PEPA,Scalability | Conference |
Citations | PageRank | References |
1 | 0.36 | 12 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Nigel Thomas | 1 | 211 | 29.47 |
Michael D. Harrison | 2 | 1004 | 115.78 |
Yishi Zhao | 3 | 33 | 3.93 |
Xiao Chen | 4 | 11 | 2.34 |