Classification and Formalization of Instance-Spanning Constraints in Process-driven Applications

Classification and Formalization of Instance-Spanning Constraints in Process-driven Applications

Abstract

In process-driven applications, typically, instances share human, computer, and physical resources and hence cannot be executed independently of each other. This necessitates the definition, verification, and enforcement of restrictions and conditions across multiple instances by so called instance-spanning constraints (ISC). ISC might refer to instances of one or several process types or variants. While real-world applications from, e.g., the logistics, manufacturing, and energy domain crave for the support of ISC, only partial solutions can be found. This work provides a systematic ISC classification and formalization that enables the verification of ISC during design and runtime. Based on a collection of 114 ISC from different domains and sources the relevance and feasibility of the presented concepts is shown.

Grafik Top
Authors
  • Fdhila, Walid
  • Gall, Manuel
  • Rinderle-Ma, Stefanie
  • Mangler, Jürgen
  • Indiono, Conrad
Grafik Top
Projects
Grafik Top
Shortfacts
Category
Paper in Conference Proceedings or in Workshop Proceedings (Full Paper in Proceedings)
Event Title
International Conference on Business Process Management 2016
Divisions
Workflow Systems and Technology
Event Location
Rio de Janeiro, Brazil
Event Type
Conference
Event Dates
18 - 22 Sept 2016
Date
June 2016
Export
Grafik Top