WRAD: Tool support for workflow resiliency analysis and design

John C. Mace; Charles Morisset; Aad van Moorsel

doi:10.1007/978-3-319-45892-2_6

WRAD: Tool support for workflow resiliency analysis and design

John C. Mace^*
, Charles Morisset
, Aad van Moorsel

^*Corresponding author for this work

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

Designing efficient workflows is complex especially when considering security constraints that restrict which users can perform which tasks. This is further exacerbated when considering users could become unavailable at runtime, which is known as the workflow resiliency problem. Ideally, designers undertake resiliency analysis at the design stage so that the likely impact of security constraints on a workflow can be assessed before its execution. In this paper, we describe a new tool called Workflow Resiliency Analysis and Design (WRAD) which automatically encodes a textual description of a workflow into the probabilistic modelchecker PRISM, and carries out a resiliency evaluation. WRAD also computes optimal change sets for security constraints to assure a given resiliency threshold is reached.

Original language	English
Title of host publication	Software Engineering for Resilient Systems - 8th International Workshop, SERENE 2016, Proceedings
Editors	Elena Troubitsyna, Ivica Crnkovic
Publisher	Springer Verlag
Pages	79-87
Number of pages	9
ISBN (Print)	9783319458915
DOIs	https://doi.org/10.1007/978-3-319-45892-2_6
Publication status	Published - 2016
Event	8th International Workshop on Software Engineering for Resilient Systems, SERENE 2016 - Gothenburg, Sweden Duration: 5 Sept 2016 → 6 Sept 2016

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9823 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	8th International Workshop on Software Engineering for Resilient Systems, SERENE 2016
Country/Territory	Sweden
City	Gothenburg
Period	5/09/16 → 6/09/16

Bibliographical note

Publisher Copyright:
© Springer International Publishing Switzerland 2016.

Keywords

Probabilistic model checker
User availability
Workflow satisfiability problem

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-319-45892-2_6

Cite this

Mace, J. C., Morisset, C., & van Moorsel, A. (2016). WRAD: Tool support for workflow resiliency analysis and design. In E. Troubitsyna, & I. Crnkovic (Eds.), Software Engineering for Resilient Systems - 8th International Workshop, SERENE 2016, Proceedings (pp. 79-87). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9823 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-319-45892-2_6

Mace, John C. ; Morisset, Charles ; van Moorsel, Aad. / WRAD : Tool support for workflow resiliency analysis and design. Software Engineering for Resilient Systems - 8th International Workshop, SERENE 2016, Proceedings. editor / Elena Troubitsyna ; Ivica Crnkovic. Springer Verlag, 2016. pp. 79-87 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{042ffde3f7e04cd79480e67a242f904f,

title = "WRAD: Tool support for workflow resiliency analysis and design",

abstract = "Designing efficient workflows is complex especially when considering security constraints that restrict which users can perform which tasks. This is further exacerbated when considering users could become unavailable at runtime, which is known as the workflow resiliency problem. Ideally, designers undertake resiliency analysis at the design stage so that the likely impact of security constraints on a workflow can be assessed before its execution. In this paper, we describe a new tool called Workflow Resiliency Analysis and Design (WRAD) which automatically encodes a textual description of a workflow into the probabilistic modelchecker PRISM, and carries out a resiliency evaluation. WRAD also computes optimal change sets for security constraints to assure a given resiliency threshold is reached.",

keywords = "Probabilistic model checker, User availability, Workflow satisfiability problem",

author = "Mace, \{John C.\} and Charles Morisset and \{van Moorsel\}, Aad",

note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2016.; 8th International Workshop on Software Engineering for Resilient Systems, SERENE 2016 ; Conference date: 05-09-2016 Through 06-09-2016",

year = "2016",

doi = "10.1007/978-3-319-45892-2\_6",

language = "English",

isbn = "9783319458915",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "79--87",

editor = "Elena Troubitsyna and Ivica Crnkovic",

booktitle = "Software Engineering for Resilient Systems - 8th International Workshop, SERENE 2016, Proceedings",

}

Mace, JC, Morisset, C & van Moorsel, A 2016, WRAD: Tool support for workflow resiliency analysis and design. in E Troubitsyna & I Crnkovic (eds), Software Engineering for Resilient Systems - 8th International Workshop, SERENE 2016, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9823 LNCS, Springer Verlag, pp. 79-87, 8th International Workshop on Software Engineering for Resilient Systems, SERENE 2016, Gothenburg, Sweden, 5/09/16. https://doi.org/10.1007/978-3-319-45892-2_6

WRAD: Tool support for workflow resiliency analysis and design. / Mace, John C.; Morisset, Charles; van Moorsel, Aad.
Software Engineering for Resilient Systems - 8th International Workshop, SERENE 2016, Proceedings. ed. / Elena Troubitsyna; Ivica Crnkovic. Springer Verlag, 2016. p. 79-87 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9823 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - WRAD

T2 - 8th International Workshop on Software Engineering for Resilient Systems, SERENE 2016

AU - Mace, John C.

AU - Morisset, Charles

AU - van Moorsel, Aad

PY - 2016

Y1 - 2016

N2 - Designing efficient workflows is complex especially when considering security constraints that restrict which users can perform which tasks. This is further exacerbated when considering users could become unavailable at runtime, which is known as the workflow resiliency problem. Ideally, designers undertake resiliency analysis at the design stage so that the likely impact of security constraints on a workflow can be assessed before its execution. In this paper, we describe a new tool called Workflow Resiliency Analysis and Design (WRAD) which automatically encodes a textual description of a workflow into the probabilistic modelchecker PRISM, and carries out a resiliency evaluation. WRAD also computes optimal change sets for security constraints to assure a given resiliency threshold is reached.

AB - Designing efficient workflows is complex especially when considering security constraints that restrict which users can perform which tasks. This is further exacerbated when considering users could become unavailable at runtime, which is known as the workflow resiliency problem. Ideally, designers undertake resiliency analysis at the design stage so that the likely impact of security constraints on a workflow can be assessed before its execution. In this paper, we describe a new tool called Workflow Resiliency Analysis and Design (WRAD) which automatically encodes a textual description of a workflow into the probabilistic modelchecker PRISM, and carries out a resiliency evaluation. WRAD also computes optimal change sets for security constraints to assure a given resiliency threshold is reached.

KW - Probabilistic model checker

KW - User availability

KW - Workflow satisfiability problem

UR - https://www.scopus.com/pages/publications/84992695143

U2 - 10.1007/978-3-319-45892-2_6

DO - 10.1007/978-3-319-45892-2_6

M3 - Conference contribution

AN - SCOPUS:84992695143

SN - 9783319458915

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 79

EP - 87

BT - Software Engineering for Resilient Systems - 8th International Workshop, SERENE 2016, Proceedings

A2 - Troubitsyna, Elena

A2 - Crnkovic, Ivica

PB - Springer Verlag

Y2 - 5 September 2016 through 6 September 2016

ER -

Mace JC, Morisset C, van Moorsel A. WRAD: Tool support for workflow resiliency analysis and design. In Troubitsyna E, Crnkovic I, editors, Software Engineering for Resilient Systems - 8th International Workshop, SERENE 2016, Proceedings. Springer Verlag. 2016. p. 79-87. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-45892-2_6

WRAD: Tool support for workflow resiliency analysis and design

Abstract

Publication series

Conference

Bibliographical note

Keywords

ASJC Scopus subject areas

Access to Document

Fingerprint

Cite this