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

Walid Fdhila; Manuel Gall; Stefanie Rinderle-Ma; Jürgen Mangler; Conrad Indiono

doi:10.1007/978-3-319-45348-4_20

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

Walid Fdhila (Corresponding author), Manuel Gall, Stefanie Rinderle-Ma, Jürgen Mangler, Conrad Indiono

Research Group Workflow Systems and Technology

Publications: Contribution to book › Contribution to proceedings › Peer Reviewed

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.

Original language	English
Title of host publication	Business Process Management
Subtitle of host publication	14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings
Editors	Marcello La Rosa, Peter Loos, Oscar Pastor
Publisher	Springer International Publishing AG
Pages	348-364
Number of pages	17
Volume	9850 LNCS
ISBN (Electronic)	978-3-319-45348-4
ISBN (Print)	978-3-319-45347-7, [Cham]
DOIs	https://doi.org/10.1007/978-3-319-45348-4_20
Publication status	Published - 1 Jun 2016
Event	BPM 2016: 14th International Conference on Business Process Management - Universidade Federal do Estado do Rio de Janeiro, Rio de Janeiro, Brazil Duration: 18 Sept 2016 → 22 Sept 2016

Publication series

Series	Lecture Notes in Computer Science
Volume	9850
ISSN	0302-9743

Conference

Conference	BPM 2016
Country/Territory	Brazil
City	Rio de Janeiro
Period	18/09/16 → 22/09/16

Austrian Fields of Science 2012

102015 Information systems

Keywords

CHECKING
Compliance
Instance-spanning constraints
Process-Aware Information Systems

Access to Document

10.1007/978-3-319-45348-4_20

http://eprints.cs.univie.ac.at/4738/

Cite this

Fdhila, W., Gall, M., Rinderle-Ma, S., Mangler, J., & Indiono, C. (2016). Classification and Formalization of Instance-Spanning Constraints in Process-driven Applications. In M. La Rosa, P. Loos, & O. Pastor (Eds.), Business Process Management: 14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings (Vol. 9850 LNCS, pp. 348-364). Springer International Publishing AG . https://doi.org/10.1007/978-3-319-45348-4_20

Fdhila, Walid ; Gall, Manuel ; Rinderle-Ma, Stefanie et al. / Classification and Formalization of Instance-Spanning Constraints in Process-driven Applications. Business Process Management: 14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings. editor / Marcello La Rosa ; Peter Loos ; Oscar Pastor. Vol. 9850 LNCS Springer International Publishing AG , 2016. pp. 348-364 (Lecture Notes in Computer Science, Vol. 9850).

@inproceedings{5513f7a10b544589895717b9ca3a45ad,

title = "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.",

keywords = "CHECKING, Compliance, Instance-spanning constraints, Process-Aware Information Systems",

author = "Walid Fdhila and Manuel Gall and Stefanie Rinderle-Ma and J{\"u}rgen Mangler and Conrad Indiono",

year = "2016",

month = jun,

day = "1",

doi = "10.1007/978-3-319-45348-4_20",

language = "English",

isbn = "978-3-319-45347-7",

volume = "9850 LNCS",

series = "Lecture Notes in Computer Science",

publisher = "Springer International Publishing AG ",

pages = "348--364",

editor = "{La Rosa}, Marcello and Peter Loos and Oscar Pastor",

booktitle = "Business Process Management",

note = "BPM 2016 ; Conference date: 18-09-2016 Through 22-09-2016",

}

Fdhila, W, Gall, M, Rinderle-Ma, S, Mangler, J & Indiono, C 2016, Classification and Formalization of Instance-Spanning Constraints in Process-driven Applications. in M La Rosa, P Loos & O Pastor (eds), Business Process Management: 14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings. vol. 9850 LNCS, Springer International Publishing AG , Lecture Notes in Computer Science, vol. 9850, pp. 348-364, BPM 2016, Rio de Janeiro, Brazil, 18/09/16. https://doi.org/10.1007/978-3-319-45348-4_20

Classification and Formalization of Instance-Spanning Constraints in Process-driven Applications. / Fdhila, Walid (Corresponding author); Gall, Manuel; Rinderle-Ma, Stefanie et al.
Business Process Management: 14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings. ed. / Marcello La Rosa; Peter Loos; Oscar Pastor. Vol. 9850 LNCS Springer International Publishing AG , 2016. p. 348-364 (Lecture Notes in Computer Science, Vol. 9850).

Publications: Contribution to book › Contribution to proceedings › Peer Reviewed

TY - GEN

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

AU - Fdhila, Walid

AU - Gall, Manuel

AU - Rinderle-Ma, Stefanie

AU - Mangler, Jürgen

AU - Indiono, Conrad

PY - 2016/6/1

Y1 - 2016/6/1

N2 - 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.

AB - 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.

KW - CHECKING

KW - Compliance

KW - Instance-spanning constraints

KW - Process-Aware Information Systems

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

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

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

M3 - Contribution to proceedings

SN - 978-3-319-45347-7

SN - [Cham]

VL - 9850 LNCS

T3 - Lecture Notes in Computer Science

SP - 348

EP - 364

BT - Business Process Management

A2 - La Rosa, Marcello

A2 - Loos, Peter

A2 - Pastor, Oscar

PB - Springer International Publishing AG

T2 - BPM 2016

Y2 - 18 September 2016 through 22 September 2016

ER -

Fdhila W, Gall M, Rinderle-Ma S, Mangler J, Indiono C. Classification and Formalization of Instance-Spanning Constraints in Process-driven Applications. In La Rosa M, Loos P, Pastor O, editors, Business Process Management: 14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings. Vol. 9850 LNCS. Springer International Publishing AG . 2016. p. 348-364. (Lecture Notes in Computer Science, Vol. 9850). doi: 10.1007/978-3-319-45348-4_20

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

Abstract

Publication series

Conference

Austrian Fields of Science 2012

Keywords

Access to Document

Other files and links

Fingerprint

Cite this