Rule-based Runtime Monitoring of Instance-Spanning Constraints in Process-Aware Information Systems

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

doi:10.1007/978-3-319-48472-3

Rule-based Runtime Monitoring of Instance-Spanning Constraints in Process-Aware Information Systems

Conrad Indiono, Jürgen Mangler, Walid Fdhila, Stefanie Rinderle-Ma

Research Group Workflow Systems and Technology

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

Abstract

Instance-spanning constraints (ISC) constitute a crucial instrument to establish coordination between multiple instances in Process-Aware Information Systems. ISC need to be verified and monitored at design as well as runtime. In this work we propose a rule-based approach for runtime monitoring of ISC. We base our work on the well known Rete algorithm and research ways structure the network in such a way that improves matching speed for ISC. We show through a technical evaluation that (1) a rule-based approach is feasible for performing runtime monitoring of ISC and (2) that the heuristics we extract for structuring the Rete network improve the rule matching speed.

Original language	English
Title of host publication	On the Move to Meaningful Internet Systems: OTM 2016 Conferences
Subtitle of host publication	Confederated International Conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings
Editors	Christophe Debruyne, Hervé Panetto, Robert Meersman, Tharam Dillon, eva Kühn, Declan O'Sullivan, Claudio Agostino Ardagna
Publisher	Springer International Publishing AG
Pages	381-399
Number of pages	19
Volume	10033
ISBN (Electronic)	978-3-319-48472-3
ISBN (Print)	978-3-319-48471-6
DOIs	https://doi.org/10.1007/978-3-319-48472-3
Publication status	Published - 1 Sept 2016
Event	CoopIS 2016: 24th International Conference on COOPERATIVE INFORMATION SYSTEMS - Hotel Aldemar Amilia Mare Resort, Rhodos , Greece Duration: 24 Oct 2016 → 28 Oct 2016

Publication series

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

Conference

Conference	CoopIS 2016: 24th International Conference on COOPERATIVE INFORMATION SYSTEMS
Country/Territory	Greece
City	Rhodos
Period	24/10/16 → 28/10/16

Austrian Fields of Science 2012

102015 Information systems

Access to Document

10.1007/978-3-319-48472-3

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

Cite this

Indiono, C., Mangler, J., Fdhila, W., & Rinderle-Ma, S. (2016). Rule-based Runtime Monitoring of Instance-Spanning Constraints in Process-Aware Information Systems. In C. Debruyne, H. Panetto, R. Meersman, T. Dillon, E. Kühn, D. O'Sullivan, & C. A. Ardagna (Eds.), On the Move to Meaningful Internet Systems: OTM 2016 Conferences: Confederated International Conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings (Vol. 10033, pp. 381-399). Springer International Publishing AG . https://doi.org/10.1007/978-3-319-48472-3

Indiono, Conrad ; Mangler, Jürgen ; Fdhila, Walid et al. / Rule-based Runtime Monitoring of Instance-Spanning Constraints in Process-Aware Information Systems. On the Move to Meaningful Internet Systems: OTM 2016 Conferences: Confederated International Conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings. editor / Christophe Debruyne ; Hervé Panetto ; Robert Meersman ; Tharam Dillon ; eva Kühn ; Declan O'Sullivan ; Claudio Agostino Ardagna. Vol. 10033 Springer International Publishing AG , 2016. pp. 381-399 (Lecture Notes in Computer Science, Vol. 10033).

@inproceedings{6f4918446128470c9aff0ac56cf1dd62,

title = "Rule-based Runtime Monitoring of Instance-Spanning Constraints in Process-Aware Information Systems",

abstract = "Instance-spanning constraints (ISC) constitute a crucial instrument to establish coordination between multiple instances in Process-Aware Information Systems. ISC need to be verified and monitored at design as well as runtime. In this work we propose a rule-based approach for runtime monitoring of ISC. We base our work on the well known Rete algorithm and research ways structure the network in such a way that improves matching speed for ISC. We show through a technical evaluation that (1) a rule-based approach is feasible for performing runtime monitoring of ISC and (2) that the heuristics we extract for structuring the Rete network improve the rule matching speed.",

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

year = "2016",

month = sep,

day = "1",

doi = "10.1007/978-3-319-48472-3",

language = "English",

isbn = "978-3-319-48471-6",

volume = "10033",

series = "Lecture Notes in Computer Science",

publisher = "Springer International Publishing AG ",

pages = "381--399",

editor = "Christophe Debruyne and Herv{\'e} Panetto and Robert Meersman and Tharam Dillon and eva K{\"u}hn and Declan O'Sullivan and Ardagna, {Claudio Agostino}",

booktitle = "On the Move to Meaningful Internet Systems: OTM 2016 Conferences",

note = "CoopIS 2016: 24th International Conference on COOPERATIVE INFORMATION SYSTEMS ; Conference date: 24-10-2016 Through 28-10-2016",

}

Indiono, C, Mangler, J, Fdhila, W & Rinderle-Ma, S 2016, Rule-based Runtime Monitoring of Instance-Spanning Constraints in Process-Aware Information Systems. in C Debruyne, H Panetto, R Meersman, T Dillon, E Kühn, D O'Sullivan & CA Ardagna (eds), On the Move to Meaningful Internet Systems: OTM 2016 Conferences: Confederated International Conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings. vol. 10033, Springer International Publishing AG , Lecture Notes in Computer Science, vol. 10033, pp. 381-399, CoopIS 2016: 24th International Conference on COOPERATIVE INFORMATION SYSTEMS, Rhodos , Greece, 24/10/16. https://doi.org/10.1007/978-3-319-48472-3

Rule-based Runtime Monitoring of Instance-Spanning Constraints in Process-Aware Information Systems. / Indiono, Conrad; Mangler, Jürgen; Fdhila, Walid et al.
On the Move to Meaningful Internet Systems: OTM 2016 Conferences: Confederated International Conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings. ed. / Christophe Debruyne; Hervé Panetto; Robert Meersman; Tharam Dillon; eva Kühn; Declan O'Sullivan; Claudio Agostino Ardagna. Vol. 10033 Springer International Publishing AG , 2016. p. 381-399 (Lecture Notes in Computer Science, Vol. 10033).

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

TY - GEN

T1 - Rule-based Runtime Monitoring of Instance-Spanning Constraints in Process-Aware Information Systems

AU - Indiono, Conrad

AU - Mangler, Jürgen

AU - Fdhila, Walid

AU - Rinderle-Ma, Stefanie

PY - 2016/9/1

Y1 - 2016/9/1

N2 - Instance-spanning constraints (ISC) constitute a crucial instrument to establish coordination between multiple instances in Process-Aware Information Systems. ISC need to be verified and monitored at design as well as runtime. In this work we propose a rule-based approach for runtime monitoring of ISC. We base our work on the well known Rete algorithm and research ways structure the network in such a way that improves matching speed for ISC. We show through a technical evaluation that (1) a rule-based approach is feasible for performing runtime monitoring of ISC and (2) that the heuristics we extract for structuring the Rete network improve the rule matching speed.

AB - Instance-spanning constraints (ISC) constitute a crucial instrument to establish coordination between multiple instances in Process-Aware Information Systems. ISC need to be verified and monitored at design as well as runtime. In this work we propose a rule-based approach for runtime monitoring of ISC. We base our work on the well known Rete algorithm and research ways structure the network in such a way that improves matching speed for ISC. We show through a technical evaluation that (1) a rule-based approach is feasible for performing runtime monitoring of ISC and (2) that the heuristics we extract for structuring the Rete network improve the rule matching speed.

U2 - 10.1007/978-3-319-48472-3

DO - 10.1007/978-3-319-48472-3

M3 - Contribution to proceedings

SN - 978-3-319-48471-6

VL - 10033

T3 - Lecture Notes in Computer Science

SP - 381

EP - 399

BT - On the Move to Meaningful Internet Systems: OTM 2016 Conferences

A2 - Debruyne, Christophe

A2 - Panetto, Hervé

A2 - Meersman, Robert

A2 - Dillon, Tharam

A2 - Kühn, eva

A2 - O'Sullivan, Declan

A2 - Ardagna, Claudio Agostino

PB - Springer International Publishing AG

T2 - CoopIS 2016: 24th International Conference on COOPERATIVE INFORMATION SYSTEMS

Y2 - 24 October 2016 through 28 October 2016

ER -

Indiono C, Mangler J, Fdhila W, Rinderle-Ma S. Rule-based Runtime Monitoring of Instance-Spanning Constraints in Process-Aware Information Systems. In Debruyne C, Panetto H, Meersman R, Dillon T, Kühn E, O'Sullivan D, Ardagna CA, editors, On the Move to Meaningful Internet Systems: OTM 2016 Conferences: Confederated International Conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings. Vol. 10033. Springer International Publishing AG . 2016. p. 381-399. (Lecture Notes in Computer Science, Vol. 10033). doi: 10.1007/978-3-319-48472-3

Rule-based Runtime Monitoring of Instance-Spanning Constraints in Process-Aware Information Systems

Abstract

Publication series

Conference

Austrian Fields of Science 2012

Access to Document

Fingerprint

Cite this