Quantitative analysis of services

Authors:
Igor Cappello;Allan Clark;Stephen Gilmore;Diego Latella;Michele Loreti;Paola Quaglia;Stefano Schivo
Affiliations:
Dipartimento di Ingegneria e Scienza dell'Informazione, Università di Trento;School of Informatics, The University of Edinburgh;School of Informatics, The University of Edinburgh;Istituto di Scienza e Tecnologie dell'Informazione "A. Faedo", CNR;Dipartimento di Sistemi e Informatica, Università di Firenze;Dipartimento di Ingegneria e Scienza dell'Informazione, Università di Trento;Dipartimento di Ingegneria e Scienza dell'Informazione, Università di Trento
Venue:
Rigorous software engineering for service-oriented systems
Year:
2011

Citing 13
Cited 1

A compositional approach to performance modelling

A compositional approach to performance modelling
Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
Model-checking continuous-time Markov chains

ACM Transactions on Computational Logic (TOCL)
PI-Calculus: A Theory of Mobile Processes

PI-Calculus: A Theory of Mobile Processes
A Markov Reward Model Checker

QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
The ipclib PEPA Library

QEST '07 Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems
Stochastic COWS

ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Sessions and Pipelines for Structured Service Programming

FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
State-Aware Performance Analysis with eXtended Stochastic Probes

EPEW '08 Proceedings of the 5th European Performance Engineering Workshop on Computer Performance Engineering
The PEPA eclipse plugin

ACM SIGMETRICS Performance Evaluation Review
PRISM: probabilistic model checking for performance and reliability analysis

ACM SIGMETRICS Performance Evaluation Review
A calculus for orchestration of web services

ESOP'07 Proceedings of the 16th European conference on Programming
Ymer: a statistical model checker

CAV'05 Proceedings of the 17th international conference on Computer Aided Verification

Visualisation for stochastic process algebras: the graphic truth

EPEW'11 Proceedings of the 8th European conference on Computer Performance Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

We show a number of applications of the tools which have been developed within the SENSORIA project to perform quantitative analysis of services. These tools are formally grounded on source calculi which allow the description of services at distinct levels of abstraction, and hence pose distinct challenges to both modelling and analysis. The reported applications refer to (suitable subcomponents of) the Finance Case-Study, and show instances of, respectively, exact model checking of Mar-CaSPiS against the both state-aware and action-aware logic SoSL, exact and statistical model checking of sCOWS against the state-aware logic CSL, querying of PEPA models by terms of the XSP language that expresses both state-aware and action-aware stochastic probes.