Quantitative Analysis of Services

Igor Cappello, Allan Clark, Stephen Gilmore, Diego Latella, Michele Loreti, Paola Quaglia, Stefano Schivo

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

Abstract / Description of output

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.
Original languageEnglish
Title of host publicationRigorous Software Engineering for Service-Oriented Systems
Subtitle of host publicationResults of the SENSORIA Project on Software Engineering for Service-Oriented Computing
EditorsMartin Wirsing, Matthias Hoelzl
PublisherSpringer
Pages522-540
Number of pages19
ISBN (Electronic)978-3-642-20401-2
ISBN (Print)978-3-642-20400-5
DOIs
Publication statusPublished - 2011

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
Volume6582
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Fingerprint

Dive into the research topics of 'Quantitative Analysis of Services'. Together they form a unique fingerprint.

Cite this