An integer programming based approach for diagnosing workflows

H. Eshuis, Akhil Kumar

Research output: Book/ReportReportAcademic

13 Downloads (Pure)

Abstract

Workflow analysis is indispensable to capture modeling errors in workflow designs. While in the past several analysis approaches for workflows have been defined, these approaches do not give precise feedback, making it hard for a designer to pinpoint the exact cause of modeling errors. In this paper we introduce a novel approach for analyzing and diagnosing workflows based on integer programming (IP). Each workflow model is translated into a set of IP constraints. Faulty control flow connectors can be easily detected using the approach by relaxing the corresponding constraints. We show that this approach is correct, and illustrate it with realistic examples where the CPLEX tool is used to solve the IP formulations. Moreover, the approach is flexible and can be extended to handle a variety of new constraints, as well as to support new workflow patterns. Its features complement those of existing approaches.
Original languageEnglish
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages21
ISBN (Print)978-90-386-1518-9
Publication statusPublished - 2008

Publication series

NameBETA publicatie : working papers
Volume264
ISSN (Print)1386-9213

Fingerprint

Integer programming

Cite this

Eshuis, H., & Kumar, A. (2008). An integer programming based approach for diagnosing workflows. (BETA publicatie : working papers; Vol. 264). Eindhoven: Technische Universiteit Eindhoven.
Eshuis, H. ; Kumar, Akhil. / An integer programming based approach for diagnosing workflows. Eindhoven : Technische Universiteit Eindhoven, 2008. 21 p. (BETA publicatie : working papers).
@book{61ddf44d6f09477f9deb64964b08a53a,
title = "An integer programming based approach for diagnosing workflows",
abstract = "Workflow analysis is indispensable to capture modeling errors in workflow designs. While in the past several analysis approaches for workflows have been defined, these approaches do not give precise feedback, making it hard for a designer to pinpoint the exact cause of modeling errors. In this paper we introduce a novel approach for analyzing and diagnosing workflows based on integer programming (IP). Each workflow model is translated into a set of IP constraints. Faulty control flow connectors can be easily detected using the approach by relaxing the corresponding constraints. We show that this approach is correct, and illustrate it with realistic examples where the CPLEX tool is used to solve the IP formulations. Moreover, the approach is flexible and can be extended to handle a variety of new constraints, as well as to support new workflow patterns. Its features complement those of existing approaches.",
author = "H. Eshuis and Akhil Kumar",
year = "2008",
language = "English",
isbn = "978-90-386-1518-9",
series = "BETA publicatie : working papers",
publisher = "Technische Universiteit Eindhoven",

}

Eshuis, H & Kumar, A 2008, An integer programming based approach for diagnosing workflows. BETA publicatie : working papers, vol. 264, Technische Universiteit Eindhoven, Eindhoven.

An integer programming based approach for diagnosing workflows. / Eshuis, H.; Kumar, Akhil.

Eindhoven : Technische Universiteit Eindhoven, 2008. 21 p. (BETA publicatie : working papers; Vol. 264).

Research output: Book/ReportReportAcademic

TY - BOOK

T1 - An integer programming based approach for diagnosing workflows

AU - Eshuis, H.

AU - Kumar, Akhil

PY - 2008

Y1 - 2008

N2 - Workflow analysis is indispensable to capture modeling errors in workflow designs. While in the past several analysis approaches for workflows have been defined, these approaches do not give precise feedback, making it hard for a designer to pinpoint the exact cause of modeling errors. In this paper we introduce a novel approach for analyzing and diagnosing workflows based on integer programming (IP). Each workflow model is translated into a set of IP constraints. Faulty control flow connectors can be easily detected using the approach by relaxing the corresponding constraints. We show that this approach is correct, and illustrate it with realistic examples where the CPLEX tool is used to solve the IP formulations. Moreover, the approach is flexible and can be extended to handle a variety of new constraints, as well as to support new workflow patterns. Its features complement those of existing approaches.

AB - Workflow analysis is indispensable to capture modeling errors in workflow designs. While in the past several analysis approaches for workflows have been defined, these approaches do not give precise feedback, making it hard for a designer to pinpoint the exact cause of modeling errors. In this paper we introduce a novel approach for analyzing and diagnosing workflows based on integer programming (IP). Each workflow model is translated into a set of IP constraints. Faulty control flow connectors can be easily detected using the approach by relaxing the corresponding constraints. We show that this approach is correct, and illustrate it with realistic examples where the CPLEX tool is used to solve the IP formulations. Moreover, the approach is flexible and can be extended to handle a variety of new constraints, as well as to support new workflow patterns. Its features complement those of existing approaches.

M3 - Report

SN - 978-90-386-1518-9

T3 - BETA publicatie : working papers

BT - An integer programming based approach for diagnosing workflows

PB - Technische Universiteit Eindhoven

CY - Eindhoven

ER -

Eshuis H, Kumar A. An integer programming based approach for diagnosing workflows. Eindhoven: Technische Universiteit Eindhoven, 2008. 21 p. (BETA publicatie : working papers).