Managing controlled violation of temporal process constraints

Akhil Kumar, Sharat R. Sabbella, Russell Richard Barton

Research output: Chapter in Book/Report/Conference proceedingConference contribution

17 Citations (Scopus)

Abstract

Temporal workflows are becoming increasingly important in many real-world applications. In such workflows, activity durations and times are specified and it is necessary to ensure both at design time and run time that temporal constraints are not violated. However, in real-time workflows, such as in a medical process or emergency situations, some violations are unavoidable. Hence, a more nuanced view of violations should be taken. Here we introduce the notion of controlled violations as the ability to monitor a running process and develop an approach based on constraint satisfaction to determine the best schedule for its completion in a way so as to minimize the total penalty from the violations. The violations are evaluated in terms of metrics like number of violations, delay in process completion, and penalty of weighted violations. We also relate our work to the concept of controllability in literature and show how it can be checked using our method. Finally, the expressive power of our approach is discussed.

Original languageEnglish (US)
Title of host publicationBusiness Process Management - 13th International Conference, BPM 2015, Proceedings
EditorsJan Recker, Matthias Weidlich, Hamid Reza Motahari-Nezhad
PublisherSpringer Verlag
Pages280-296
Number of pages17
ISBN (Print)9783319230627
DOIs
StatePublished - Jan 1 2015
Event13th International Conference on Business Process Management, BPM 2015 - Innsbruck, Austria
Duration: Aug 31 2015Sep 3 2015

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9253
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other13th International Conference on Business Process Management, BPM 2015
CountryAustria
CityInnsbruck
Period8/31/159/3/15

Fingerprint

Controllability
Work Flow
Completion
Penalty
Temporal Constraints
Constraint Satisfaction
Expressive Power
Real-world Applications
Emergency
Monitor
Schedule
Real-time
Minimise
Metric
Necessary

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Kumar, A., Sabbella, S. R., & Barton, R. R. (2015). Managing controlled violation of temporal process constraints. In J. Recker, M. Weidlich, & H. R. Motahari-Nezhad (Eds.), Business Process Management - 13th International Conference, BPM 2015, Proceedings (pp. 280-296). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9253). Springer Verlag. https://doi.org/10.1007/978-3-319-23063-4_20
Kumar, Akhil ; Sabbella, Sharat R. ; Barton, Russell Richard. / Managing controlled violation of temporal process constraints. Business Process Management - 13th International Conference, BPM 2015, Proceedings. editor / Jan Recker ; Matthias Weidlich ; Hamid Reza Motahari-Nezhad. Springer Verlag, 2015. pp. 280-296 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{4067f7136db4469cadd13caafb7f0889,
title = "Managing controlled violation of temporal process constraints",
abstract = "Temporal workflows are becoming increasingly important in many real-world applications. In such workflows, activity durations and times are specified and it is necessary to ensure both at design time and run time that temporal constraints are not violated. However, in real-time workflows, such as in a medical process or emergency situations, some violations are unavoidable. Hence, a more nuanced view of violations should be taken. Here we introduce the notion of controlled violations as the ability to monitor a running process and develop an approach based on constraint satisfaction to determine the best schedule for its completion in a way so as to minimize the total penalty from the violations. The violations are evaluated in terms of metrics like number of violations, delay in process completion, and penalty of weighted violations. We also relate our work to the concept of controllability in literature and show how it can be checked using our method. Finally, the expressive power of our approach is discussed.",
author = "Akhil Kumar and Sabbella, {Sharat R.} and Barton, {Russell Richard}",
year = "2015",
month = "1",
day = "1",
doi = "10.1007/978-3-319-23063-4_20",
language = "English (US)",
isbn = "9783319230627",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "280--296",
editor = "Jan Recker and Matthias Weidlich and Motahari-Nezhad, {Hamid Reza}",
booktitle = "Business Process Management - 13th International Conference, BPM 2015, Proceedings",
address = "Germany",

}

Kumar, A, Sabbella, SR & Barton, RR 2015, Managing controlled violation of temporal process constraints. in J Recker, M Weidlich & HR Motahari-Nezhad (eds), Business Process Management - 13th International Conference, BPM 2015, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9253, Springer Verlag, pp. 280-296, 13th International Conference on Business Process Management, BPM 2015, Innsbruck, Austria, 8/31/15. https://doi.org/10.1007/978-3-319-23063-4_20

Managing controlled violation of temporal process constraints. / Kumar, Akhil; Sabbella, Sharat R.; Barton, Russell Richard.

Business Process Management - 13th International Conference, BPM 2015, Proceedings. ed. / Jan Recker; Matthias Weidlich; Hamid Reza Motahari-Nezhad. Springer Verlag, 2015. p. 280-296 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9253).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

TY - GEN

T1 - Managing controlled violation of temporal process constraints

AU - Kumar, Akhil

AU - Sabbella, Sharat R.

AU - Barton, Russell Richard

PY - 2015/1/1

Y1 - 2015/1/1

N2 - Temporal workflows are becoming increasingly important in many real-world applications. In such workflows, activity durations and times are specified and it is necessary to ensure both at design time and run time that temporal constraints are not violated. However, in real-time workflows, such as in a medical process or emergency situations, some violations are unavoidable. Hence, a more nuanced view of violations should be taken. Here we introduce the notion of controlled violations as the ability to monitor a running process and develop an approach based on constraint satisfaction to determine the best schedule for its completion in a way so as to minimize the total penalty from the violations. The violations are evaluated in terms of metrics like number of violations, delay in process completion, and penalty of weighted violations. We also relate our work to the concept of controllability in literature and show how it can be checked using our method. Finally, the expressive power of our approach is discussed.

AB - Temporal workflows are becoming increasingly important in many real-world applications. In such workflows, activity durations and times are specified and it is necessary to ensure both at design time and run time that temporal constraints are not violated. However, in real-time workflows, such as in a medical process or emergency situations, some violations are unavoidable. Hence, a more nuanced view of violations should be taken. Here we introduce the notion of controlled violations as the ability to monitor a running process and develop an approach based on constraint satisfaction to determine the best schedule for its completion in a way so as to minimize the total penalty from the violations. The violations are evaluated in terms of metrics like number of violations, delay in process completion, and penalty of weighted violations. We also relate our work to the concept of controllability in literature and show how it can be checked using our method. Finally, the expressive power of our approach is discussed.

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

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

U2 - 10.1007/978-3-319-23063-4_20

DO - 10.1007/978-3-319-23063-4_20

M3 - Conference contribution

SN - 9783319230627

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 280

EP - 296

BT - Business Process Management - 13th International Conference, BPM 2015, Proceedings

A2 - Recker, Jan

A2 - Weidlich, Matthias

A2 - Motahari-Nezhad, Hamid Reza

PB - Springer Verlag

ER -

Kumar A, Sabbella SR, Barton RR. Managing controlled violation of temporal process constraints. In Recker J, Weidlich M, Motahari-Nezhad HR, editors, Business Process Management - 13th International Conference, BPM 2015, Proceedings. Springer Verlag. 2015. p. 280-296. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-319-23063-4_20