SBOAT: A Stochastic BPMN Analysis and Optimisation Tool

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings – Annual report year: 2014Researchpeer-review

View graph of relations

In this paper we present a description of a tool development framework, called SBOAT, for the quantitative analysis of graph based process modelling languages based upon the Business Process Modelling and Notation (BPMN) language, extended with intention preserving stochastic branching and parameterised reward annotations. SBOAT allows the optimisation of these processes by specifying optimisation goals by means of probabilistic control tree logic (PCTL). Optimisation is performed by means of an evolutionary algorithm where stochastic model checking, in the form of the PRISM model checker, is used to compute the fitness, the performance of a candidate in terms of the specified goals, of variants of a process. Our evolutionary algorithm approach uses a matrix representation of process models to efficiently allow mutation and crossover of a process model to be performed, allowing broad exploration of the space of possible models.

We present a simple example of a distributed stochastic system where we determine a reachability property and the value of associated rewards in states of interest for a generated range of models. This example is taken from a case company in the Danish baking industry and will illustrate the practical applicability of this tool by helping the company analyse and optimise selected workflows.
Original languageEnglish
Title of host publicationProceedings of the 1st International Conference on Engineering and Applied Sciences Optimization (OPT-i)
EditorsM. G. Karlaftis, N. D. Lagaros, M. Papadrakakis
PublisherNational Technical University of Athens
Publication date2014
Pages1136-1152
ISBN (Print)978-960-99994-6-5
Publication statusPublished - 2014
Event1st International Conference on Engineering and Applied Sciences Optimization - Kos Island, Greece
Duration: 4 Jun 20146 Jun 2014
Conference number: 1
http://www.opti2014.org/

Conference

Conference1st International Conference on Engineering and Applied Sciences Optimization
Number1
CountryGreece
CityKos Island
Period04/06/201406/06/2014
Internet address

    Research areas

  • BPMN, Stochastic BPMN, Software Tool, Evolutionary Algorithms Optimization, Stochastic Model Checking, Service Engineering, Quantitative Service Analysis

ID: 89038046