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.
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 language | English |
---|---|
Title of host publication | Rigorous Software Engineering for Service-Oriented Systems |
Subtitle of host publication | Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing |
Editors | Martin Wirsing, Matthias Hoelzl |
Publisher | Springer |
Pages | 522-540 |
Number of pages | 19 |
ISBN (Electronic) | 978-3-642-20401-2 |
ISBN (Print) | 978-3-642-20400-5 |
DOIs | |
Publication status | Published - 2011 |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer Berlin / Heidelberg |
Volume | 6582 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |