Trace and Testing Metrics on Nondeterministic Probabilistic Processes

The combination of nondeterminism and probability in concurrent systems lead to the development of several interpretations of process behavior. If we restrict our attention to linear properties only, we can identify three main approaches to trace and testing semantics: the trace distributions, the t...

Full description

Bibliographic Details
Main Author:	Valentina Castiglioni
Format:	Article
Language:	English
Published:	Open Publishing Association 2018-08-01
Series:	Electronic Proceedings in Theoretical Computer Science
Online Access:	http://arxiv.org/pdf/1808.08649v1

id	doaj-2e390125ebff45cd969c2be6072ef7a7
record_format	Article
spelling	doaj-2e390125ebff45cd969c2be6072ef7a72020-11-25T02:18:59ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802018-08-01276Proc. EXPRESS/SOS 2018193610.4204/EPTCS.276.4:6Trace and Testing Metrics on Nondeterministic Probabilistic ProcessesValentina Castiglioni0 INRIA Saclay - Ile de France The combination of nondeterminism and probability in concurrent systems lead to the development of several interpretations of process behavior. If we restrict our attention to linear properties only, we can identify three main approaches to trace and testing semantics: the trace distributions, the trace-by-trace and the extremal probabilities approaches. In this paper, we propose novel notions of behavioral metrics that are based on the three classic approaches above, and that can be used to measure the disparities in the linear behavior of processes wrt trace and testing semantics. We study the properties of these metrics, like non-expansiveness, and we compare their expressive powers.http://arxiv.org/pdf/1808.08649v1
collection	DOAJ
language	English
format	Article
sources	DOAJ
author	Valentina Castiglioni
spellingShingle	Valentina Castiglioni Trace and Testing Metrics on Nondeterministic Probabilistic Processes Electronic Proceedings in Theoretical Computer Science
author_facet	Valentina Castiglioni
author_sort	Valentina Castiglioni
title	Trace and Testing Metrics on Nondeterministic Probabilistic Processes
title_short	Trace and Testing Metrics on Nondeterministic Probabilistic Processes
title_full	Trace and Testing Metrics on Nondeterministic Probabilistic Processes
title_fullStr	Trace and Testing Metrics on Nondeterministic Probabilistic Processes
title_full_unstemmed	Trace and Testing Metrics on Nondeterministic Probabilistic Processes
title_sort	trace and testing metrics on nondeterministic probabilistic processes
publisher	Open Publishing Association
series	Electronic Proceedings in Theoretical Computer Science
issn	2075-2180
publishDate	2018-08-01
description	The combination of nondeterminism and probability in concurrent systems lead to the development of several interpretations of process behavior. If we restrict our attention to linear properties only, we can identify three main approaches to trace and testing semantics: the trace distributions, the trace-by-trace and the extremal probabilities approaches. In this paper, we propose novel notions of behavioral metrics that are based on the three classic approaches above, and that can be used to measure the disparities in the linear behavior of processes wrt trace and testing semantics. We study the properties of these metrics, like non-expansiveness, and we compare their expressive powers.
url	http://arxiv.org/pdf/1808.08649v1
work_keys_str_mv	AT valentinacastiglioni traceandtestingmetricsonnondeterministicprobabilisticprocesses
_version_	1724879363226206208

Trace and Testing Metrics on Nondeterministic Probabilistic Processes

Similar Items