Toggle Main Menu Toggle Search

Open Access padlockePrints

Quantitative Workflow Resiliency

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



A workflow is resilient when the unavailability of some users does not force to choose between a violation of the security policy or an early termination of the workflow. Although checking for the resiliency of a workflow is a well-studied problem, solutions usually only provide a binary answer to the problem, leaving a workflow designer with little help when the workflow is not resilient. We propose in this paper to provide instead a measure of quantitative resiliency, indicating how much a workflow is likely to terminate for a given security policy and a given user availability model. We define this notion by encoding the resiliency problem as a decision problem, reducing the finding of an optimal user-task assignment to that of solving a Markov Decision Process. We illustrate the flexibility of our encoding by considering different measures of resiliency, and we empirically analyse them, showing the existence of a trade-off between multiple aspects such as success rate, expected termination step and computation time, thus providing a toolbox that could help a workflow designer to improve or fix a workflow.

Publication metadata

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

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2015

Pages: 21

Print publication date: 01/05/2015

Report Number: 1467

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne