0

Full Content is available to subscribers

Subscribe/Learn More  >

Quantitative Analysis of Probabilistic BPMN Workflows

[+] Author Affiliations
Luke T. Herbert, Robin Sharp

Technical University of Denmark, Kgs. Lyngby, Denmark

Paper No. DETC2012-70653, pp. 509-518; 10 pages
doi:10.1115/DETC2012-70653
From:
  • ASME 2012 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference
  • Volume 2: 32nd Computers and Information in Engineering Conference, Parts A and B
  • Chicago, Illinois, USA, August 12–15, 2012
  • Conference Sponsors: Design Engineering Division, Computers and Information in Engineering Division
  • ISBN: 978-0-7918-4501-1
  • Copyright © 2012 by ASME

abstract

We present a framework for modelling and analysis of real-world business workflows. We present a formalised core subset of the Business Process Modelling and Notation (BPMN) and then proceed to extend this language with probabilistic non-deterministic branching and general-purpose reward annotations. We present an algorithm for the translation of such models into Markov Decision processes expressed in the syntax of the PRISM model checker. This enables analysis of business processes for the following properties: transient and steady-state probabilities, the timing, occurrence and ordering of events, reward-based properties and best- and worst- case scenarios. We develop a simple example of medical workflow and demonstrate the utility of this analysis in accurate provisioning of drug stocks. Finally, we suggest a path to building upon these techniques to cover the entire BPMN language, allow for more complex annotations and ultimately to automatically synthesise workflows by composing predefined sub-processes, in order to achieve a configuration that is optimal for parameters of interest.

Copyright © 2012 by ASME
Topics: Workflow

Figures

Tables

Interactive Graphics

Video

Country-Specific Mortality and Growth Failure in Infancy and Yound Children and Association With Material Stature

Use interactive graphics and maps to view and sort country-specific infant and early dhildhood mortality and growth failure data and their association with maternal

NOTE:
Citing articles are presented as examples only. In non-demo SCM6 implementation, integration with CrossRef’s "Cited By" API will populate this tab (http://www.crossref.org/citedby.html).

Some tools below are only available to our subscribers or users with an online account.

Related Content

Customize your page view by dragging and repositioning the boxes below.

Related eBook Content
Topic Collections

Sorry! You do not have access to this content. For assistance or to subscribe, please contact us:

  • TELEPHONE: 1-800-843-2763 (Toll-free in the USA)
  • EMAIL: asmedigitalcollection@asme.org
Sign In