Work

Checking Properties of Business Process Models with Logic Programming

Year: 2007

Type: conference-paper

Abstract: 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.

Source: International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS)

DOI: 10.5220/0002413100840093

Authors: Volker Gruhn, Ralf Laue

Institution: Leipzig University

Language: English

Topic: Business Process Modeling and Analysis

Subfield: Management Information Systems

Field: Business, Management and Accounting

Domain: Social Sciences

Open Access status: hybrid

OpenAlex ID: W198544145

FWCI: 2.005

Cites: 17

Cited by: 15

Related to: 10