Logo der Universität Wien

Supporting Structural Consistency Checking in Adaptive Case Management


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
Grafik Top
Paper in Conference Proceedings or in Workshop Proceedings (Short Paper in Proceedings)
Event Title
International Conference on Cooperative Information Systems (CoopIS) 2015
Software Architecture
Workflow Systems and Technology
Informatik Allgemeines
Software Engineering
Angewandte Informatik
Event Location
Rhodes, Greece
Event Type
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
Page Range
pp. 311-319
October 2015
Grafik Top
Contact us
Faculty of Computer Science
University of Vienna

Währinger Straße 29
A-1090 Vienna