Toggle Main Menu Toggle Search

Open Access padlockePrints

WRAD: Tool Support for Workflow Resiliency Analysis and Design

Lookup NU author(s): Dr John Mace, Dr Charles Morisset, Professor Aad van Moorsel


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


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 model-checker PRISM, and carries out a resiliency evaluation. WRAD also computes optimal change sets for security constraints to assure a given resiliency threshold is reached.

Publication metadata

Author(s): Mace JC, Morisset C, van Moorsel A

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 8th international workshop on Software Engineering for Resilient Systems (SERENE 2016)

Year of Conference: 2016

Pages: 79-87

Online publication date: 26/08/2016

Acceptance date: 02/04/2016

Publisher: Springer International Publishing


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

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science (LNCS)

ISBN: 9783319458915