SCOOP: A Tool for SymboliC Optimisations Of Probabilistic Processes

Mark Timmer

doi:10.1109/QEST.2011.27

SCOOP: A Tool for SymboliC Optimisations Of Probabilistic Processes

Mark Timmer

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

11 Citations (Scopus)

154 Downloads (Pure)

Abstract

This paper presents SCOOP: a tool that symbolically optimises process-algebraic specifications of probabilistic processes. It takes specifications in the prCRL language (combining data and probabilities), which are linearised first to an intermediate format: the LPPE. On this format, optimisations such as dead-variable reduction and confluence reduction are applied automatically by SCOOP. That way, drastic state space reductions are achieved while never having to generate the complete state space, as data variables are unfolded only locally. The optimised state spaces are ready to be analysed by for instance CADP or PRISM.

Original language	Undefined
Title of host publication	Proceedings of the 8th International Conference on Quantitative Evaluation of SysTems, QEST 2011
Editors	C. Palamidessi, A. Riska
Place of Publication	Los Alamitos, USA
Publisher	IEEE
Pages	149-150
Number of pages	2
ISBN (Print)	978-1-4577-0973-9
DOIs	https://doi.org/10.1109/QEST.2011.27
Publication status	Published - Sept 2011
Event	8th International Conference on Quantitative Evaluation of SysTems, QEST 2011 - RWTH Aachen University, Aachen, Germany Duration: 5 Sept 2011 → 8 Sept 2011 Conference number: 8

Publication series

Name
Publisher	IEEE Computer Society

Conference

Conference	8th International Conference on Quantitative Evaluation of SysTems, QEST 2011
Abbreviated title	QEST
Country/Territory	Germany
City	Aachen
Period	5/09/11 → 8/09/11

Keywords

METIS-277654
IR-77422
EC Grant Agreement nr.: FP7/214755
EWI-20206
EC Grant Agreement nr.: FP7-ICT-2007-1

Access to Document

10.1109/QEST.2011.27

Cite this

@inproceedings{0755573d3bac49749f89f2cf33d792bd,

title = "SCOOP: A Tool for SymboliC Optimisations Of Probabilistic Processes",

abstract = "This paper presents SCOOP: a tool that symbolically optimises process-algebraic specifications of probabilistic processes. It takes specifications in the prCRL language (combining data and probabilities), which are linearised first to an intermediate format: the LPPE. On this format, optimisations such as dead-variable reduction and confluence reduction are applied automatically by SCOOP. That way, drastic state space reductions are achieved while never having to generate the complete state space, as data variables are unfolded only locally. The optimised state spaces are ready to be analysed by for instance CADP or PRISM.",

keywords = "METIS-277654, IR-77422, EC Grant Agreement nr.: FP7/214755, EWI-20206, EC Grant Agreement nr.: FP7-ICT-2007-1",

author = "Mark Timmer",

note = "eemcs-eprint-20206 ; 8th International Conference on Quantitative Evaluation of SysTems, QEST 2011 ; Conference date: 05-09-2011 Through 08-09-2011",

year = "2011",

month = sep,

doi = "10.1109/QEST.2011.27",

language = "Undefined",

isbn = "978-1-4577-0973-9",

publisher = "IEEE",

pages = "149--150",

editor = "C. Palamidessi and A. Riska",

booktitle = "Proceedings of the 8th International Conference on Quantitative Evaluation of SysTems, QEST 2011",

address = "United States",

}

Timmer, M 2011, SCOOP: A Tool for SymboliC Optimisations Of Probabilistic Processes. in C Palamidessi & A Riska (eds), Proceedings of the 8th International Conference on Quantitative Evaluation of SysTems, QEST 2011. IEEE, Los Alamitos, USA, pp. 149-150, 8th International Conference on Quantitative Evaluation of SysTems, QEST 2011, Aachen, Germany, 5/09/11. https://doi.org/10.1109/QEST.2011.27

SCOOP: A Tool for SymboliC Optimisations Of Probabilistic Processes. / Timmer, Mark.
Proceedings of the 8th International Conference on Quantitative Evaluation of SysTems, QEST 2011. ed. / C. Palamidessi; A. Riska. Los Alamitos, USA: IEEE, 2011. p. 149-150.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - SCOOP: A Tool for SymboliC Optimisations Of Probabilistic Processes

AU - Timmer, Mark

N1 - Conference code: 8

PY - 2011/9

Y1 - 2011/9

N2 - This paper presents SCOOP: a tool that symbolically optimises process-algebraic specifications of probabilistic processes. It takes specifications in the prCRL language (combining data and probabilities), which are linearised first to an intermediate format: the LPPE. On this format, optimisations such as dead-variable reduction and confluence reduction are applied automatically by SCOOP. That way, drastic state space reductions are achieved while never having to generate the complete state space, as data variables are unfolded only locally. The optimised state spaces are ready to be analysed by for instance CADP or PRISM.

AB - This paper presents SCOOP: a tool that symbolically optimises process-algebraic specifications of probabilistic processes. It takes specifications in the prCRL language (combining data and probabilities), which are linearised first to an intermediate format: the LPPE. On this format, optimisations such as dead-variable reduction and confluence reduction are applied automatically by SCOOP. That way, drastic state space reductions are achieved while never having to generate the complete state space, as data variables are unfolded only locally. The optimised state spaces are ready to be analysed by for instance CADP or PRISM.

KW - METIS-277654

KW - IR-77422

KW - EC Grant Agreement nr.: FP7/214755

KW - EWI-20206

KW - EC Grant Agreement nr.: FP7-ICT-2007-1

U2 - 10.1109/QEST.2011.27

DO - 10.1109/QEST.2011.27

M3 - Conference contribution

SN - 978-1-4577-0973-9

SP - 149

EP - 150

BT - Proceedings of the 8th International Conference on Quantitative Evaluation of SysTems, QEST 2011

A2 - Palamidessi, C.

A2 - Riska, A.

PB - IEEE

CY - Los Alamitos, USA

T2 - 8th International Conference on Quantitative Evaluation of SysTems, QEST 2011

Y2 - 5 September 2011 through 8 September 2011

ER -