A compositional approach to performance modelling
A compositional approach to performance modelling
Information Processing Letters
Modeling and performance analysis of BitTorrent-like peer-to-peer networks
Proceedings of the 2004 conference on Applications, technologies, architectures, and protocols for computer communications
Fluid semantics for passive stochastic process algebra cooperation
Proceedings of the 3rd International Conference on Performance Evaluation Methodologies and Tools
Quantitative Analysis of Web Services Using SRMC
Formal Methods for Web Services
Evaluating fluid semantics for passive stochastic process algebra cooperation
Performance Evaluation
SFM'07 Proceedings of the 7th international conference on Formal methods for performance evaluation
A fluid analysis framework for a Markovian process algebra
Theoretical Computer Science
Replicating web services for scalability
TGC'07 Proceedings of the 3rd conference on Trustworthy global computing
Passage-end analysis for analysing robot movement
Rigorous software engineering for service-oriented systems
| Hi-index | 0.00 |
The Performance Evaluation Process Algebra (PEPA) language is a stochastic process algebra, generating Continuous Time Markov Chains (CTMC) to allow quantitative analysis. Protocols such as BitTorrent are highly parallel in nature, and represent one area where CTMC analysis is limited by the well-known state space problem. The number of unique states each client can exist in, and the number of clients required to accurately model a typical BitTorrent network preclude the use of CTMCs. Recent work has shown that PEPA models also allow the derivation of an activity matrix, from which ODE and stochastic simulation models, as alternative forms of analysis, are possible. Using this technique, a BitTorrent network is created, analysed, and the results compared against previous BitTorrent models.