A compositional approach to performance modelling
A compositional approach to performance modelling
An Efficient Algorithm for Aggregating PEPA Models
IEEE Transactions on Software Engineering
Performance modelling of hierarchical cellular networks using PEPA
Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
Solving ODEs with MATLAB
Fluid Flow Approximation of PEPA models
QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
Enhancing the effective utilisation of grid clusters by exploiting on-line performability analysis
CCGRID '05 Proceedings of the Fifth IEEE International Symposium on Cluster Computing and the Grid - Volume 01
QEST '07 Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems
Journal of Computer and System Sciences
SOCK: a calculus for service oriented computing
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Choreography and orchestration conformance for system design
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Scalable Analysis of Scalable Systems
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
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
Financial Evaluation and Optimization of Business Processes
International Journal of Information System Modeling and Design
Hi-index | 0.00 |
Web service instances are often replicated to allow service provision to scale to support larger population sizes of users. However, such systems are difficult to analyse because the scale and complexity inherent in the system itself poses challenges for accurate qualitative or quantitative modelling. We use two process calculi cooperatively in the analysis of an example Web service replicated across many servers. The SOCK calculus is used to model service-oriented aspects closely and the PEPA calculus is used to analyse the performance of the system under increasing load.