Checking Properties of Business Process Models with Logic Programming

Logic programming has been successfully used for reasoning about various kinds of models. However, in the area of business-process modeling it has not yet gained the attention it deserves. In this article, we give some examples how logical programming can be exploited for verifying or finding properties of graphical models that are used by business process modelers, for example event driven process chains (EPC)[1], UML activity diagrams[2], BPMN[3] or YAWL[4]. We show how the approach works on different properties of business process models, including semantic (structural) correctness and modeling style.

• Type: Conference
• Year: 2007
• Where: VVEIS
• Authors: Volker Gruhn, Ralf Laue
• Keywords: Business Process, Business Process Modelers, Business Process Models, VVEIS 2007, VVEIS 2008