The stochastic quality calculus

Kebin Zeng, Flemming Nielson, Hanne Riis Nielson

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
Country/TerritoryGermany
CityBerlin
Period03/06/201405/06/2014
SeriesLecture Notes in Computer Science
Volume8459
ISSN0302-9743

Fingerprint

Dive into the research topics of 'The stochastic quality calculus'. Together they form a unique fingerprint.

Cite this