Year: 2008
Type: report
Abstract: Workflow analysis is indispensable to capture modeling errors\nin workflow designs. While in the past several analysis approaches\nfor workflows have been defined, these approaches do not give precise\nfeedback, making it hard for a designer to pinpoint the exact cause of\nmodeling errors. In this paper we introduce a novel approach for analyzing\nand diagnosing workflows based on integer programming (IP). Each\nworkflow model is translated into a set of IP constraints. Faulty control\nflow connectors can be easily detected using the approach by relaxing\nthe corresponding constraints. We show that this approach is correct,\nand illustrate it with realistic examples where the CPLEX tool is used\nto solve the IP formulations. Moreover, the approach is flexible and can\nbe extended to handle a variety of new constraints, as well as to support\nnew workflow patterns. Its features complement those of existing\napproaches.
Source: TU/e Research Portal
Authors: Rik Eshuis, Akhil Kumar
Language: English
Subfield: Management Information Systems
Domain: Social Sciences
Open Access status: green
OpenAlex ID: W1825782007