Flexible process compliance with semantic constraints using mixed-integer programming

Research output: Contribution to journalArticle

14 Citations (Scopus)

Abstract

An adaptive process management system (APMS) allows for flexible, dynamic, and even ad hoc adaptation of processes based on case data, context, and events. These processes may arise in various domains such as business, healthcare, etc. In knowledge-intensive environments, it is important that APMS technology ensures error-free process execution and compliance with semantic constraints. However, most process design tools handle only syntactic constraints. This restricts their value in real-world applications considerably. This paper proposes a novel approach to check the compliance of process models against semantic constraints and the validity of process change operations using mixed-integer programming (MIP). The MIP formulation allows us to describe existential, dependency, ordering, and various other relationships among tasks along with business policies in a standard way. In addition to incorporating the semantic constraint specifications into an MIP formulation, we introduce three novel ideas in this paper: (1) the notion of degree of compliance of processes to constraints based on a penalty function, (2) the concepts of full and partial validity of change operations, and (3) the idea of compliance by compensation. Thus, compensation operations derived from compliance degree can transform a noncompliant process into a compliant one both at design and execution time. We illustrate our approach in the context of a healthcare workflow as a way to reduce medical errors and argue that it is more elegant and superior to a pure logic-based approach. Complex scenarios with multiple concurrent processes (and constraints across them) for a single patient are also considered.

Original languageEnglish (US)
Pages (from-to)543-559
Number of pages17
JournalINFORMS Journal on Computing
Volume25
Issue number3
DOIs
StatePublished - Jun 1 2013

Fingerprint

Integer programming
Semantics
Syntactics
Process design
Industry
Compliance
Mixed integer programming
Specifications
Compensation and Redress

All Science Journal Classification (ASJC) codes

  • Software
  • Information Systems
  • Computer Science Applications
  • Management Science and Operations Research

Cite this

@article{262a08dcf3cf4e21ad2ac6340e237083,
title = "Flexible process compliance with semantic constraints using mixed-integer programming",
abstract = "An adaptive process management system (APMS) allows for flexible, dynamic, and even ad hoc adaptation of processes based on case data, context, and events. These processes may arise in various domains such as business, healthcare, etc. In knowledge-intensive environments, it is important that APMS technology ensures error-free process execution and compliance with semantic constraints. However, most process design tools handle only syntactic constraints. This restricts their value in real-world applications considerably. This paper proposes a novel approach to check the compliance of process models against semantic constraints and the validity of process change operations using mixed-integer programming (MIP). The MIP formulation allows us to describe existential, dependency, ordering, and various other relationships among tasks along with business policies in a standard way. In addition to incorporating the semantic constraint specifications into an MIP formulation, we introduce three novel ideas in this paper: (1) the notion of degree of compliance of processes to constraints based on a penalty function, (2) the concepts of full and partial validity of change operations, and (3) the idea of compliance by compensation. Thus, compensation operations derived from compliance degree can transform a noncompliant process into a compliant one both at design and execution time. We illustrate our approach in the context of a healthcare workflow as a way to reduce medical errors and argue that it is more elegant and superior to a pure logic-based approach. Complex scenarios with multiple concurrent processes (and constraints across them) for a single patient are also considered.",
author = "Akhil Kumar and Wen Yao and Chu, {Chao Hsien}",
year = "2013",
month = "6",
day = "1",
doi = "10.1287/ijoc.1120.0520",
language = "English (US)",
volume = "25",
pages = "543--559",
journal = "ORSA journal on computing",
issn = "1091-9856",
publisher = "INFORMS Inst.for Operations Res.and the Management Sciences",
number = "3",

}

Flexible process compliance with semantic constraints using mixed-integer programming. / Kumar, Akhil; Yao, Wen; Chu, Chao Hsien.

In: INFORMS Journal on Computing, Vol. 25, No. 3, 01.06.2013, p. 543-559.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Flexible process compliance with semantic constraints using mixed-integer programming

AU - Kumar, Akhil

AU - Yao, Wen

AU - Chu, Chao Hsien

PY - 2013/6/1

Y1 - 2013/6/1

N2 - An adaptive process management system (APMS) allows for flexible, dynamic, and even ad hoc adaptation of processes based on case data, context, and events. These processes may arise in various domains such as business, healthcare, etc. In knowledge-intensive environments, it is important that APMS technology ensures error-free process execution and compliance with semantic constraints. However, most process design tools handle only syntactic constraints. This restricts their value in real-world applications considerably. This paper proposes a novel approach to check the compliance of process models against semantic constraints and the validity of process change operations using mixed-integer programming (MIP). The MIP formulation allows us to describe existential, dependency, ordering, and various other relationships among tasks along with business policies in a standard way. In addition to incorporating the semantic constraint specifications into an MIP formulation, we introduce three novel ideas in this paper: (1) the notion of degree of compliance of processes to constraints based on a penalty function, (2) the concepts of full and partial validity of change operations, and (3) the idea of compliance by compensation. Thus, compensation operations derived from compliance degree can transform a noncompliant process into a compliant one both at design and execution time. We illustrate our approach in the context of a healthcare workflow as a way to reduce medical errors and argue that it is more elegant and superior to a pure logic-based approach. Complex scenarios with multiple concurrent processes (and constraints across them) for a single patient are also considered.

AB - An adaptive process management system (APMS) allows for flexible, dynamic, and even ad hoc adaptation of processes based on case data, context, and events. These processes may arise in various domains such as business, healthcare, etc. In knowledge-intensive environments, it is important that APMS technology ensures error-free process execution and compliance with semantic constraints. However, most process design tools handle only syntactic constraints. This restricts their value in real-world applications considerably. This paper proposes a novel approach to check the compliance of process models against semantic constraints and the validity of process change operations using mixed-integer programming (MIP). The MIP formulation allows us to describe existential, dependency, ordering, and various other relationships among tasks along with business policies in a standard way. In addition to incorporating the semantic constraint specifications into an MIP formulation, we introduce three novel ideas in this paper: (1) the notion of degree of compliance of processes to constraints based on a penalty function, (2) the concepts of full and partial validity of change operations, and (3) the idea of compliance by compensation. Thus, compensation operations derived from compliance degree can transform a noncompliant process into a compliant one both at design and execution time. We illustrate our approach in the context of a healthcare workflow as a way to reduce medical errors and argue that it is more elegant and superior to a pure logic-based approach. Complex scenarios with multiple concurrent processes (and constraints across them) for a single patient are also considered.

UR - http://www.scopus.com/inward/record.url?scp=84881192612&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84881192612&partnerID=8YFLogxK

U2 - 10.1287/ijoc.1120.0520

DO - 10.1287/ijoc.1120.0520

M3 - Article

VL - 25

SP - 543

EP - 559

JO - ORSA journal on computing

JF - ORSA journal on computing

SN - 1091-9856

IS - 3

ER -