1 |
Business process modelling using model checking and the theory of constraintsOdendaal, Maghiel Jock 03 1900 (has links)
Thesis (MScEng (Industrial Engineering))--University of Stellenbosch, 2010. / 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.
|
Page generated in 0.1093 seconds