An integer programming based approach for diagnosing workflows

H. Eshuis, Akhil Kumar

Onderzoeksoutput: Boek/rapportRapportAcademic

14 Downloads (Pure)

Uittreksel

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.
Originele taal-2Engels
Plaats van productieEindhoven
UitgeverijTechnische Universiteit Eindhoven
Aantal pagina's21
ISBN van geprinte versie978-90-386-1518-9
StatusGepubliceerd - 2008

Publicatie series

NaamBETA publicatie : working papers
Volume264
ISSN van geprinte versie1386-9213

Vingerafdruk

Integer programming

Citeer dit

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 blz. (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 blz. (BETA publicatie : working papers; Vol. 264).

Onderzoeksoutput: Boek/rapportRapportAcademic

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 blz. (BETA publicatie : working papers).