Optimisation of BPMN Business Models via Model Checking

Luke Thomas Herbert, Robin Sharp

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

Abstract

We present a framework for the optimisation of business processes modelled in the business process modelling language BPMN, which builds upon earlier work, where we developed a model checking based method for the analysis of BPMN models. We define a structure for expressing optimisation goals for synthesized BPMN components, based on probabilistic computation tree logic and real-valued reward structures of the BPMN model, allowing for the specification of complex quantitative goals. We here present a simple algorithm, inspired by concepts from evolutionary algorithms, which iteratively generates candidate improved processes based on the fittest of the previous generation. The evaluation of the fitness of each candidate in a generation is performed via model checking, detailed in previous work. At each iteration, this allows the determination of the precise numerical evaluation of the performance of a candidate in terms of the specified goals. A discussion of this method’s application, and the degree of optimization which is possible, is illustrated using an example drawn from the healthcare industry.
Original languageEnglish
Title of host publicationProceedings of the ASME 2013 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference (IDETC/CIE 2013)
Number of pages10
PublisherAmerican Society of Mechanical Engineers
Publication date2013
PagesDETC2013-13047
Publication statusPublished - 2013
EventASME 2013 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference - Portland, OR, United States
Duration: 4 Aug 20137 Aug 2013

Conference

ConferenceASME 2013 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference
CountryUnited States
CityPortland, OR
Period04/08/201307/08/2013

Fingerprint Dive into the research topics of 'Optimisation of BPMN Business Models via Model Checking'. Together they form a unique fingerprint.

Cite this