Business process modelling using model checking and the theory of constraints
Date
2010-03
Authors
Odendaal, Maghiel Jock
Journal Title
Journal ISSN
Volume Title
Publisher
Stellenbosch : University of Stellenbosch
Abstract
ENGLISH ABSTRACT: Concurrent and distributed business processes are becoming the norm in many organisations.
Current modelling techniques do not address the problems faced by concurrent business processes
sufficiently. We showhowmodel checking is applied to business processes to prove behavioural properties
to address the aforementioned shortcomings.
A method of abstraction is required to construct business process models that can be model
checked. In this thesis we show the suitability of the Logical Thinking Process as an abstraction tool.
We call the combination of the Logical Thinking Process and model checking the Complexity Alleviation
Method (CAM). We apply CAM to two well-known supply chain and manufacturing problems,
and insightful results are obtained. This leads us to the conclusion that CAM allows for the
quicker modelling of business processes, as well as providing problem-specific and proven solutions
in amanner not possible with simulation or other techniques.
AFRIKAANSE OPSOMMING: Gelyklopende en verspreide besigheidsprosesse word ’n alledaagse verskynsel in menigte instansies. Huidige modelleringstegnieke is nie in staat om die probleme geassosieer met gelyklopende besigheidsprosesse aan te spreek nie. Ons wys hoe model model verifikasie (“model checking”) toegepas word op besigheidsprosesse om gedragseienskappe te bewys en sodoende die voorgenoemde tekortkominge aan te spreek. ’nMetode van abstraksie word benodig ombesigheidsprosesmodelle, wat verifieerbaar is, te konstrueer. In hierdie verhandeling word die geskiktheid van die Logiese Denkproses (“the Logical Thinking Process”) as abstraksie gereedskap aangetoon. Ons noem die kombinasie van die Logiese Denkproses en model verifikasie Kompleksiteitsverligtingsmetodologie (CAM). Ons pas CAM op twee welbekende aanbodketting- en vervaardigingsprobleme toe en insiggewende resultate is verkry. Dit lei ons tot die gevolgtrekking dat CAM vinniger konstruering van modelle te weeg bring, sowel as probleem spesifieke en bewysbare oplossings verskaf wat nie moontlik ismet simulasie of ander tegnieke nie.
AFRIKAANSE OPSOMMING: Gelyklopende en verspreide besigheidsprosesse word ’n alledaagse verskynsel in menigte instansies. Huidige modelleringstegnieke is nie in staat om die probleme geassosieer met gelyklopende besigheidsprosesse aan te spreek nie. Ons wys hoe model model verifikasie (“model checking”) toegepas word op besigheidsprosesse om gedragseienskappe te bewys en sodoende die voorgenoemde tekortkominge aan te spreek. ’nMetode van abstraksie word benodig ombesigheidsprosesmodelle, wat verifieerbaar is, te konstrueer. In hierdie verhandeling word die geskiktheid van die Logiese Denkproses (“the Logical Thinking Process”) as abstraksie gereedskap aangetoon. Ons noem die kombinasie van die Logiese Denkproses en model verifikasie Kompleksiteitsverligtingsmetodologie (CAM). Ons pas CAM op twee welbekende aanbodketting- en vervaardigingsprobleme toe en insiggewende resultate is verkry. Dit lei ons tot die gevolgtrekking dat CAM vinniger konstruering van modelle te weeg bring, sowel as probleem spesifieke en bewysbare oplossings verskaf wat nie moontlik ismet simulasie of ander tegnieke nie.
Description
Thesis (MScEng (Industrial Engineering))--University of Stellenbosch, 2010.
Keywords
Model checking, Business process modelling, SPIN, TOC, Theory of constraints, Concurrent business process modelling, Dissertations -- Industrial engineering, Theses -- Industrial engineering