Supporting Structural Consistency Checking in Adaptive Case Management

Supporting Structural Consistency Checking in Adaptive Case Management

Abstract

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.

Grafik Top
Authors
  • Czepa, Christoph
  • Tran, Huy
  • Zdun, Uwe
  • Rinderle-Ma, Stefanie
  • Tran, Thanh
  • Weiss, Erhard
  • Ruhsam, Christoph
Grafik Top
Shortfacts
Category
Paper in Conference Proceedings or in Workshop Proceedings (Short Paper in Proceedings)
Event Title
International Conference on Cooperative Information Systems (CoopIS) 2015
Divisions
Software Architecture
Workflow Systems and Technology
Subjects
Informatik Allgemeines
Software Engineering
Datenverarbeitungsmanagement
Angewandte Informatik
Event Location
Rhodes, Greece
Event Type
Conference
Event Dates
28-30 October
Series Name
On the Move to Meaningful Internet Systems: OTM 2015 Conferences Volume 9415 of the series Lecture Notes in Computer Science
ISSN/ISBN
978-3-319-26148-5
Page Range
pp. 311-319
Date
October 2015
Export
Grafik Top