Business process modelling using model checking and the theory of constraints

[摘要] 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 processessufficiently. We showhowmodel checking is applied to business processes to prove behavioural propertiesto address the aforementioned shortcomings.A method of abstraction is required to construct business process models that can be modelchecked. 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 AlleviationMethod (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 thequicker modelling of business processes, as well as providing problem-specific and proven solutionsin amanner not possible with simulation or other techniques.

[发布机构] Stellenbosch University