Automated evolutionary restructuring of workflows to minimise errors via stochastic model checking

Luke Thomas Herbert, Zaza Nadja Lee Hansen, Peter Jacobsen

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review


This paper presents a framework for the automated restructuring of workflows that allows one to minimise the impact of errors on a production workflow. The framework allows for the modelling of
workflows by means of a formalised subset of the Business Process Modelling and Notation (BPMN) language, a well-established visual language for modelling workflows in a business context. The framework’s modelling language is extended to include the tracking of real-valued quantities associated with the process (such as time, cost, temperature). In addition, this language also allows for an intention preserving stochastic semantics able to model both probabilistic- or non-deterministic branching behaviour. We further extend this formalism to allow for the introduction of error states which allow for both fail-stop behaviour and continued system execution. We explore the practical utility of this approach by means of a case study from the food industry. Through this case study we explore the extent to which the risk of production faults can be reduced and the impact of these can be minimised, primarily through restructuring of the production workflows. This approach is fully automated and only the modelling of the production workflows and the expression of the goals require manual input.
Original languageEnglish
Title of host publicationProceedings of Probabilistic Safety Assessment and Management conference (PSAM12)
Number of pages12
Publication date2014
Publication statusPublished - 2014
EventProbabilistic Safety Assessment and Management conference 2014 - Honolulu, HI, United States
Duration: 22 Jun 201427 Jun 2014
Conference number: 12


ConferenceProbabilistic Safety Assessment and Management conference 2014
Country/TerritoryUnited States
CityHonolulu, HI
Internet address


  • Consequence Modeling and Management
  • Enterprise Risk Management
  • Industrial Safety and Accident Analysis
  • Reliability Analysis and Risk Assessment Methods
  • afety Assessment Software Tools
  • Safety Management and Decision Making


Dive into the research topics of 'Automated evolutionary restructuring of workflows to minimise errors via stochastic model checking'. Together they form a unique fingerprint.

Cite this