Full Text Available
Note: Clicking the button above will open the full text document at the original institutional repository in a new window.
Business process modelling using model checking and the theory of constraints
Thesis (MScEng (Industrial Engineering))--University of Stellenbosch, 2010.
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | English |
| Published: |
Stellenbosch : University of Stellenbosch
2010
|
| Subjects: | |
| Tags: |
No Tags, Be the first to tag this record!
|
| _version_ | 1867614090205069312 |
|---|---|
| access_status_str | Open Access |
| author | Odendaal, Maghiel Jock |
| author2 | Schutte, C. S. L. |
| author_browse | Odendaal, Maghiel Jock Schutte, C. S. L. |
| author_facet | Schutte, C. S. L. Odendaal, Maghiel Jock |
| author_sort | Odendaal, Maghiel Jock |
| collection | Thesis |
| dc_rights_str_mv | University of Stellenbosch |
| description | Thesis (MScEng (Industrial Engineering))--University of Stellenbosch, 2010. |
| format | Thesis |
| id | oai:scholar.sun.ac.za:10019.1/4269 |
| institution | Stellenbosch University (South Africa) |
| language | English |
| last_indexed | 2026-06-10T12:46:30.498Z |
| license_str | Other — see source repository |
| provenance_str_mv | Harvested via OAI-PMH from SUNScholar — Stellenbosch University Repository |
| publishDate | 2010 |
| publishDateRange | 2010 |
| publishDateSort | 2010 |
| publisher | Stellenbosch : University of Stellenbosch |
| publisherStr | Stellenbosch : University of Stellenbosch |
| record_format | dspace |
| source_str | SUNScholar — Stellenbosch University Repository |
| spelling | oai:scholar.sun.ac.za:10019.1/4269 Business process modelling using model checking and the theory of constraints Odendaal, Maghiel Jock Schutte, C. S. L. Geldenhuys, J. University of Stellenbosch. Faculty of Engineering. Dept. of Industrial Engineering. Model checking Business process modelling SPIN TOC Theory of constraints Concurrent business process modelling Dissertations -- Industrial engineering Theses -- Industrial engineering 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. 2010-02-23T14:51:28Z 2010-08-13T15:00:52Z 2010-02-23T14:51:28Z 2010-08-13T15:00:52Z 2010-03 Thesis http://hdl.handle.net/10019.1/4269 en University of Stellenbosch 94 p. : ill. application/pdf Stellenbosch : University of Stellenbosch |
| spellingShingle | Model checking Business process modelling SPIN TOC Theory of constraints Concurrent business process modelling Dissertations -- Industrial engineering Theses -- Industrial engineering Odendaal, Maghiel Jock Business process modelling using model checking and the theory of constraints |
| title | Business process modelling using model checking and the theory of constraints |
| title_full | Business process modelling using model checking and the theory of constraints |
| title_fullStr | Business process modelling using model checking and the theory of constraints |
| title_full_unstemmed | Business process modelling using model checking and the theory of constraints |
| title_short | Business process modelling using model checking and the theory of constraints |
| title_sort | business process modelling using model checking and the theory of constraints |
| topic | Model checking Business process modelling SPIN TOC Theory of constraints Concurrent business process modelling Dissertations -- Industrial engineering Theses -- Industrial engineering |
| url | http://hdl.handle.net/10019.1/4269 |
| work_keys_str_mv | AT odendaalmaghieljock businessprocessmodellingusingmodelcheckingandthetheoryofconstraints |