Quantitative Analysis of Services (Contributo in volume (capitolo o saggio))

Type

• Prodotto della ricerca (Classe)
• Contributo in volume (capitolo o saggio) (Classe)

Label

• Quantitative Analysis of Services (Contributo in volume (capitolo o saggio)) (literal)

Anno

• 2011-01-01T00:00:00+01:00 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

• 10.1007/978-3-642- 20401-2 25 (literal)

Alternative label

• Cappello I., Clark A., Gilmore S., Latella D, Loreti M., Quaglia P., Schivo S. (2011)
  Quantitative Analysis of Services
  Springer, Berlin (Germania) in Rigorous Software Engineering for Service-Oriented Systems. Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing, 2011
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Cappello I., Clark A., Gilmore S., Latella D, Loreti M., Quaglia P., Schivo S. (literal)

Pagina inizio

• 522 (literal)

Pagina fine

• 540 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url

• http://link.springer.com/chapter/10.1007%2F978-3-642-20401-2_25 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#titoloVolume

• Rigorous Software Engineering for Service-Oriented Systems. Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana

• 6582 (literal)

Note

• Scopu (literal)
• PuMa (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• Università di Trento, Italy; University of Edinburgh, UK; University of Edinburgh, UK; CNR-ISTI, Pisa, Italy; Università di Firenze, Italy; Università di Trento, Italy; Università di Trento, Italy; (literal)

Titolo

• Quantitative Analysis of Services (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn

• 978-3-642-20400-5 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#curatoriVolume

• Martin Wirsing, Matthias Hölzl (literal)

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 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. (literal)

Editore

• Springer (Editore)

Prodotto di

• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)
• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)

Autore CNR

• DIEGO LATELLA (Unità di personale interno)

Insieme di parole chiave

• Parole chiave di "Quantitative Analysis of Services" (Insieme di parole chiave)

Incoming links:

Autore CNR di

• DIEGO LATELLA (Unità di personale interno)

Prodotto

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)

Editore di

• Springer (Editore)

Insieme di parole chiave di

• Parole chiave di "Quantitative Analysis of Services" (Insieme di parole chiave)