Sciweavers

Share
VVEIS
2007

Checking Properties of Business Process Models with Logic Programming

8 years 9 months ago
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.
Volker Gruhn, Ralf Laue
Added 07 Nov 2010
Updated 07 Nov 2010
Type Conference
Year 2007
Where VVEIS
Authors Volker Gruhn, Ralf Laue
Comments (0)
books