Business process modelling using model checking and the theory of constraints

dc.contributor.advisorSchutte, C. S. L.
dc.contributor.advisorGeldenhuys, J.
dc.contributor.authorOdendaal, Maghiel Jocken_ZA
dc.contributor.otherUniversity of Stellenbosch. Faculty of Engineering. Dept. of Industrial Engineering.
dc.descriptionThesis (MScEng (Industrial Engineering))--University of Stellenbosch, 2010.en_ZA
dc.description.abstractENGLISH 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.en
dc.description.abstractAFRIKAANSE 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
dc.format.extent94 p. : ill.
dc.publisherStellenbosch : University of Stellenbosch
dc.subjectModel checkingen_ZA
dc.subjectBusiness process modellingen_ZA
dc.subjectTheory of constraintsen_ZA
dc.subjectConcurrent business process modellingen_ZA
dc.subjectDissertations -- Industrial engineeringen
dc.subjectTheses -- Industrial engineeringen
dc.titleBusiness process modelling using model checking and the theory of constraintsen_ZA
dc.rights.holderUniversity of Stellenbosch

Files in this item


This item appears in the following Collection(s)