engleski

Simulating BPMN Models with Prolog

A business process simulation is used to assess the cost and time of running a process and to identify potential problems with resources. This article presents how Business Process Management Notation (BPMN) models can be reviewed before simulation execution and consequently simulated using logic programming. It also shows the description of a business process model and its properties (semantic correctness and modeling style) in Prolog. For this purpose, a BPMN model of the e-payment process is shown, described and simulated by means of Prolog and a commercial business process modeling tool. Using this specific model we demonstrate how the same simulation results in terms of the total cost of process execution are obtained either with logic programming or specialized commercial tools like IBM WebSphere Business Modeler. However, using Prolog for BPMN simulation has benefits, as buying expensive commercial software is not required, while a complete control over the simulation execution is maintained.

logic programming; business process; simulation; BPMN; Prolog

nije evidentirano