Approximate Model Checking of Stochastic COWS

Paola Quaglia, Stefano Schivo

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

Abstract

Given the description of a model and a probabilistic formula, approximate model checking is a verification technique based on statistical reasoning that allows answering whether or not the model satisfies the formula. Only a subset of the properties that can be analyzed by exact model checking can be attacked by approximate methods. These latest methods, though, being based on simulation and sampling have the advantage of not requiring the generation of the complete state-space of the model. Here we describe an efficient tool for the approximate model checking of services written in a stochastic variant of COWS, a process calculus for the orchestration of services.
Original languageEnglish
Title of host publication5th International Symposium on Trustworthly Global Computing, TGC 2010
EditorsMartin Wirsing, Martin Hofmann, Axel Rauschmayer
Place of PublicationGermany
PublisherSpringer Verlag
Pages335-347
Number of pages13
ISBN (Print)978-3-642-15639-7
DOIs
Publication statusPublished - 2010
Externally publishedYes
Event5th International Symposium, TGC 2010: Trustworthly Global Computing - Munich, Germany
Duration: 24 Feb 201026 Feb 2010
https://link.springer.com/book/10.1007/978-3-642-15640-3

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag

Symposium

Symposium5th International Symposium, TGC 2010
Abbreviated titleTGC 2010
CountryGermany
CityMunich
Period24/02/1026/02/10
Internet address

Fingerprint

Approximate Model
Model Checking
Process Calculi
Orchestration
State Space
Reasoning
Model
Subset
Simulation

Keywords

  • IR-75853, EWI-19431, METIS-276316

Cite this

Quaglia, P., & Schivo, S. (2010). Approximate Model Checking of Stochastic COWS. In M. Wirsing, M. Hofmann, & A. Rauschmayer (Eds.), 5th International Symposium on Trustworthly Global Computing, TGC 2010 (pp. 335-347). (Lecture Notes in Computer Science). Germany: Springer Verlag. https://doi.org/10.1007/978-3-642-15640-3_22
Quaglia, Paola ; Schivo, Stefano. / Approximate Model Checking of Stochastic COWS. 5th International Symposium on Trustworthly Global Computing, TGC 2010. editor / Martin Wirsing ; Martin Hofmann ; Axel Rauschmayer. Germany : Springer Verlag, 2010. pp. 335-347 (Lecture Notes in Computer Science).
@inproceedings{3b3f3c2ba9674666a766112e985a9d72,
title = "Approximate Model Checking of Stochastic COWS",
abstract = "Given the description of a model and a probabilistic formula, approximate model checking is a verification technique based on statistical reasoning that allows answering whether or not the model satisfies the formula. Only a subset of the properties that can be analyzed by exact model checking can be attacked by approximate methods. These latest methods, though, being based on simulation and sampling have the advantage of not requiring the generation of the complete state-space of the model. Here we describe an efficient tool for the approximate model checking of services written in a stochastic variant of COWS, a process calculus for the orchestration of services.",
keywords = "IR-75853, EWI-19431, METIS-276316",
author = "Paola Quaglia and Stefano Schivo",
year = "2010",
doi = "10.1007/978-3-642-15640-3_22",
language = "English",
isbn = "978-3-642-15639-7",
series = "Lecture Notes in Computer Science",
publisher = "Springer Verlag",
pages = "335--347",
editor = "Martin Wirsing and Martin Hofmann and Axel Rauschmayer",
booktitle = "5th International Symposium on Trustworthly Global Computing, TGC 2010",
address = "Germany",

}

Quaglia, P & Schivo, S 2010, Approximate Model Checking of Stochastic COWS. in M Wirsing, M Hofmann & A Rauschmayer (eds), 5th International Symposium on Trustworthly Global Computing, TGC 2010. Lecture Notes in Computer Science, Springer Verlag, Germany, pp. 335-347, 5th International Symposium, TGC 2010, Munich, Germany, 24/02/10. https://doi.org/10.1007/978-3-642-15640-3_22

Approximate Model Checking of Stochastic COWS. / Quaglia, Paola; Schivo, Stefano.

5th International Symposium on Trustworthly Global Computing, TGC 2010. ed. / Martin Wirsing; Martin Hofmann; Axel Rauschmayer. Germany : Springer Verlag, 2010. p. 335-347 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingAcademicpeer-review

TY - GEN

T1 - Approximate Model Checking of Stochastic COWS

AU - Quaglia, Paola

AU - Schivo, Stefano

PY - 2010

Y1 - 2010

N2 - Given the description of a model and a probabilistic formula, approximate model checking is a verification technique based on statistical reasoning that allows answering whether or not the model satisfies the formula. Only a subset of the properties that can be analyzed by exact model checking can be attacked by approximate methods. These latest methods, though, being based on simulation and sampling have the advantage of not requiring the generation of the complete state-space of the model. Here we describe an efficient tool for the approximate model checking of services written in a stochastic variant of COWS, a process calculus for the orchestration of services.

AB - Given the description of a model and a probabilistic formula, approximate model checking is a verification technique based on statistical reasoning that allows answering whether or not the model satisfies the formula. Only a subset of the properties that can be analyzed by exact model checking can be attacked by approximate methods. These latest methods, though, being based on simulation and sampling have the advantage of not requiring the generation of the complete state-space of the model. Here we describe an efficient tool for the approximate model checking of services written in a stochastic variant of COWS, a process calculus for the orchestration of services.

KW - IR-75853, EWI-19431, METIS-276316

U2 - 10.1007/978-3-642-15640-3_22

DO - 10.1007/978-3-642-15640-3_22

M3 - Conference article in proceeding

SN - 978-3-642-15639-7

T3 - Lecture Notes in Computer Science

SP - 335

EP - 347

BT - 5th International Symposium on Trustworthly Global Computing, TGC 2010

A2 - Wirsing, Martin

A2 - Hofmann, Martin

A2 - Rauschmayer, Axel

PB - Springer Verlag

CY - Germany

ER -

Quaglia P, Schivo S. Approximate Model Checking of Stochastic COWS. In Wirsing M, Hofmann M, Rauschmayer A, editors, 5th International Symposium on Trustworthly Global Computing, TGC 2010. Germany: Springer Verlag. 2010. p. 335-347. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-642-15640-3_22