The stochastic quality calculus

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Abstract

We introduce the Stochastic Quality Calculus in order to model and reason about distributed processes that rely on each other in order to achieve their overall behaviour. The calculus supports broadcast communication in a truly concurrent setting. Generally distributed delays are associated with the outputs and at the same time the inputs impose constraints on the waiting times. Consequently, the expected inputs may not be available when needed and therefore the calculus allows to express the absence of data.The communication delays are expressed by general distributions and the resulting semantics is given in terms of Generalised Semi-Markov Decision Processes. By restricting the distributions to be continuous and by allowing truly concurrent communication we eliminate the non-determinism and arrive at Generalised Semi-Markov Processes (GSMPs); further restriction to exponential distributions gives rise to numerically analysable GSMPs, in particular using techniques from stochastic model checking.
Original languageEnglish
Title of host publicationCoordination Models and Languages. Proceedings
EditorsEva Kühn, Rosario Pugliese
PublisherSpringer
Publication date2014
Pages179-193
ISBN (Print)978-3-662-43375-1
ISBN (Electronic)978-3-662-43376-8
DOIs
Publication statusPublished - 2014
Event16th IFIP WG 6.1 International Conference, COORDINATION 2014 - Berlin, Germany
Duration: 3 Jun 20145 Jun 2014

Conference

Conference16th IFIP WG 6.1 International Conference, COORDINATION 2014
CountryGermany
CityBerlin
Period03/06/201405/06/2014
SeriesLecture Notes in Computer Science
Volume8459
ISSN0302-9743

Cite this

Zeng, K., Nielson, F., & Nielson, H. R. (2014). The stochastic quality calculus. In E. Kühn, & R. Pugliese (Eds.), Coordination Models and Languages. Proceedings (pp. 179-193). Springer. Lecture Notes in Computer Science, Vol.. 8459 https://doi.org/10.1007/978-3-662-43376-8_12
Zeng, Kebin ; Nielson, Flemming ; Nielson, Hanne Riis. / The stochastic quality calculus. Coordination Models and Languages. Proceedings. editor / Eva Kühn ; Rosario Pugliese. Springer, 2014. pp. 179-193 (Lecture Notes in Computer Science, Vol. 8459).
@inproceedings{d6ef71a3ed444dacae1475bf19fa7983,
title = "The stochastic quality calculus",
abstract = "We introduce the Stochastic Quality Calculus in order to model and reason about distributed processes that rely on each other in order to achieve their overall behaviour. The calculus supports broadcast communication in a truly concurrent setting. Generally distributed delays are associated with the outputs and at the same time the inputs impose constraints on the waiting times. Consequently, the expected inputs may not be available when needed and therefore the calculus allows to express the absence of data.The communication delays are expressed by general distributions and the resulting semantics is given in terms of Generalised Semi-Markov Decision Processes. By restricting the distributions to be continuous and by allowing truly concurrent communication we eliminate the non-determinism and arrive at Generalised Semi-Markov Processes (GSMPs); further restriction to exponential distributions gives rise to numerically analysable GSMPs, in particular using techniques from stochastic model checking.",
author = "Kebin Zeng and Flemming Nielson and Nielson, {Hanne Riis}",
year = "2014",
doi = "10.1007/978-3-662-43376-8_12",
language = "English",
isbn = "978-3-662-43375-1",
pages = "179--193",
editor = "K{\"u}hn, {Eva } and Pugliese, {Rosario }",
booktitle = "Coordination Models and Languages. Proceedings",
publisher = "Springer",

}

Zeng, K, Nielson, F & Nielson, HR 2014, The stochastic quality calculus. in E Kühn & R Pugliese (eds), Coordination Models and Languages. Proceedings. Springer, Lecture Notes in Computer Science, vol. 8459, pp. 179-193, 16th IFIP WG 6.1 International Conference, COORDINATION 2014, Berlin, Germany, 03/06/2014. https://doi.org/10.1007/978-3-662-43376-8_12

The stochastic quality calculus. / Zeng, Kebin; Nielson, Flemming; Nielson, Hanne Riis.

Coordination Models and Languages. Proceedings. ed. / Eva Kühn; Rosario Pugliese. Springer, 2014. p. 179-193 (Lecture Notes in Computer Science, Vol. 8459).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

TY - GEN

T1 - The stochastic quality calculus

AU - Zeng, Kebin

AU - Nielson, Flemming

AU - Nielson, Hanne Riis

PY - 2014

Y1 - 2014

N2 - We introduce the Stochastic Quality Calculus in order to model and reason about distributed processes that rely on each other in order to achieve their overall behaviour. The calculus supports broadcast communication in a truly concurrent setting. Generally distributed delays are associated with the outputs and at the same time the inputs impose constraints on the waiting times. Consequently, the expected inputs may not be available when needed and therefore the calculus allows to express the absence of data.The communication delays are expressed by general distributions and the resulting semantics is given in terms of Generalised Semi-Markov Decision Processes. By restricting the distributions to be continuous and by allowing truly concurrent communication we eliminate the non-determinism and arrive at Generalised Semi-Markov Processes (GSMPs); further restriction to exponential distributions gives rise to numerically analysable GSMPs, in particular using techniques from stochastic model checking.

AB - We introduce the Stochastic Quality Calculus in order to model and reason about distributed processes that rely on each other in order to achieve their overall behaviour. The calculus supports broadcast communication in a truly concurrent setting. Generally distributed delays are associated with the outputs and at the same time the inputs impose constraints on the waiting times. Consequently, the expected inputs may not be available when needed and therefore the calculus allows to express the absence of data.The communication delays are expressed by general distributions and the resulting semantics is given in terms of Generalised Semi-Markov Decision Processes. By restricting the distributions to be continuous and by allowing truly concurrent communication we eliminate the non-determinism and arrive at Generalised Semi-Markov Processes (GSMPs); further restriction to exponential distributions gives rise to numerically analysable GSMPs, in particular using techniques from stochastic model checking.

U2 - 10.1007/978-3-662-43376-8_12

DO - 10.1007/978-3-662-43376-8_12

M3 - Article in proceedings

SN - 978-3-662-43375-1

SP - 179

EP - 193

BT - Coordination Models and Languages. Proceedings

A2 - Kühn, Eva

A2 - Pugliese, Rosario

PB - Springer

ER -

Zeng K, Nielson F, Nielson HR. The stochastic quality calculus. In Kühn E, Pugliese R, editors, Coordination Models and Languages. Proceedings. Springer. 2014. p. 179-193. (Lecture Notes in Computer Science, Vol. 8459). https://doi.org/10.1007/978-3-662-43376-8_12