PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Cappello I., Clark A., Gilmore S., Latella D., Loreti M., Quaglia P., Schivo S. Quantitative analysis of services. Martin Wirsing, Matthias Hölzl (eds.). (Lecture Notes in Computer Science, vol. 6582). Berlin: Springer, 2011.
 
 
Abstract
(English)
We show a number of applications of the tools which have been de- veloped 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 sta- tistical 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.
URL: http://www.springerlink.com/content/k3785p67733214w2/
DOI: 10.1007/978-3-642-20401-2_25
Subject Service Oriented Computing
F.4 Mathematical Logic and Formal Languages
68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional