Document - Quantitative Analysis of Services

2011

Contribution to book Open Access

Quantitative Analysis of Services

Cappello I., Clark A., Gilmore S., Latella D., Loreti M., Quaglia P., Schivo S.

Service Oriented Computing Mathematical Logic and Formal Languages

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 MarCaSPiS 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.

Source: Rigorous Software Engineering for Service-Oriented Systems. Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, edited by Martin Wirsing, Matthias Hölzl, pp. 522–540. Berlin: Springer, 2011

Publisher: Springer, Berlin, DEU

Metrics

Back to previous page

Cite as

BibTeX entry

@inbook{oai:it.cnr:prodotti:190069,
	title = {Quantitative Analysis of Services},
	author = {Cappello I. and Clark A. and Gilmore S. and Latella D. and Loreti M. and Quaglia P. and Schivo S.},
	publisher = {Springer, Berlin, DEU},
	doi = {10.1007/978-3-642-20401-2_25},
	booktitle = {Rigorous Software Engineering for Service-Oriented Systems. Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, edited by Martin Wirsing, Matthias Hölzl, pp. 522–540. Berlin: Springer, 2011},
	year = {2011}
}