TY - GEN
T1 - Supporting structural consistency checking in adaptive case management
AU - Czepa, Christoph
AU - Tran, Huy
AU - Zdun, Uwe
AU - Rinderle-Ma, Stefanie
AU - Thi Kim, Thanh Tran
AU - Weiss, Erhard
AU - Ruhsam, Christoph
N1 - Publisher Copyright:
© Springer International Publishing Switzerland 2015.
PY - 2015
Y1 - 2015
N2 - Adaptive Case Management (ACM) enables knowledge workers to collaboratively handle unforeseen circumstances by making ad hoc changes of case instances at runtime. Therefore, it is crucial to ensure that various structural elements of an ACM case, such as goals, subprocesses and so on, remain consistent over time. To the best of our knowledge, no studies in the literature provide adequate support for structural consistency checking of ACM. In this paper, we introduce a formal categorization of ACM’s structural features and potential inconsistencies. Based on this categorization, we develop a novel approach for structural consistency checking of ACM cases. Our approach, based on model checking and graph algorithms, can detect a wide range of inconsistencies of ACM’s structural elements. The evaluation of our approach shows reasonable performance and scalability.
AB - Adaptive Case Management (ACM) enables knowledge workers to collaboratively handle unforeseen circumstances by making ad hoc changes of case instances at runtime. Therefore, it is crucial to ensure that various structural elements of an ACM case, such as goals, subprocesses and so on, remain consistent over time. To the best of our knowledge, no studies in the literature provide adequate support for structural consistency checking of ACM. In this paper, we introduce a formal categorization of ACM’s structural features and potential inconsistencies. Based on this categorization, we develop a novel approach for structural consistency checking of ACM cases. Our approach, based on model checking and graph algorithms, can detect a wide range of inconsistencies of ACM’s structural elements. The evaluation of our approach shows reasonable performance and scalability.
UR - http://www.scopus.com/inward/record.url?scp=84950327069&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-26148-5_19
DO - 10.1007/978-3-319-26148-5_19
M3 - Conference contribution
AN - SCOPUS:84950327069
SN - 9783319261478
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 311
EP - 319
BT - On the Move to Meaningful Internet Systems
A2 - Panetto, Herve
A2 - Debruyne, Christophe
A2 - Dillon, Tharam
A2 - An, Yuan
A2 - Ardagna, Claudio Agostino
A2 - Weichhart, Georg
A2 - Meersman, Robert
PB - Springer Verlag
T2 - International Conferences on On the Move to Meaningful Internet Systems, OTM 2015
Y2 - 26 October 2015 through 30 October 2015
ER -