Calculating the response time based on action flow in Stochastic Process Algebra models
Jie Ding, Leijie Sha, Xinshan Zhu · 2016
Response time plays an important factor in determining the Service Level Agreement (SLA). For the reason that actual measurement costs a large amount of resource, theoretical/numerical analysis based on Stochastic Process Algebra (SPA) is a good choice to obtain the response time of concurrent systems. Among all SPAs, Performance Evaluation Process Algebra (PEPA) is the most popular one due to its precise semantics. As a result, this paper gives two methods, theoretical and numerical, for analyzing response time between two specified actions. These two methods are restricted in the scenarios that there are no actions can be performed parallelly in a response. In addition, theoretical analysis just applies to small scale models.