Reasoning on Data-Aware Business Processes with Constraint Logic

Provided by: RWTH Aachen University
Topic: Data Management
Format: PDF
In this paper, the authors propose a framework grounded in constraint logic programming for representing and reasoning about business processes from both the workflow and data perspective. In particular, their goal is twofold: define a logical language and a formal semantics for process models where data object manipulation and interactions with an underlying database are explicitly represented; provide an effective inference mechanism that supports the combination of reasoning services dealing with process behavior and data properties.

Find By Topic