Restructuring of workflows to minimise errors via stochastic model checking: An automated evolutionary approach

L.T. Herbert and Z.N.L. Hansen

Reliability Engineering and System Safety, 2016, vol. 145, issue C, 351-365

Abstract: This paper presents a framework for the automated restructuring of stochastic workflows to reduce the impact of faults. The framework allows for the modelling of workflows by means of a formalised subset of the BPMN workflow language. We extend this modelling formalism to describe faults and incorporate an intention preserving stochastic semantics able to model both probabilistic- and non-deterministic behaviour.

Keywords: Reliability analysis and risk assessment methods; Safety assessment software tools; Consequence modelling and management; Enterprise risk management; Safety management and decision making (search for similar items in EconPapers)
Date: 2016
References: View complete reference list from CitEc
Citations: View citations in EconPapers (3)

Downloads: (external link)
http://www.sciencedirect.com/science/article/pii/S0951832015001921
Full text for ScienceDirect subscribers only

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:eee:reensy:v:145:y:2016:i:c:p:351-365

DOI: 10.1016/j.ress.2015.07.002

Access Statistics for this article

Reliability Engineering and System Safety is currently edited by Carlos Guedes Soares

More articles in Reliability Engineering and System Safety from Elsevier
Bibliographic data for series maintained by Catherine Liu ().