Embracing Process Compliance and Flexibility through Behavioral Consistency Checking in ACM: A Repair Service Management Case
Enabling flexibility in unpredictable situations with ad hoc actions decided at runtime by knowledge workers is the main focus of Adaptive Case Management (ACM) systems. However, ad hoc actions added during case execution and ACM templates prepared at design time need to be within the boundaries defined by business constraints, company regulations and legal systems. In this paper we report our experience in addressing this challenge by using model checking and runtime monitoring techniques for behavioral consistency checking that can handle both ACM aspects: support by means of predefined process templates and high flexibility by allowing ad hoc actions at runtime. Our study is conducted using a practical ACM system for repair service management handling different customer requirements under diverse compliance and law regulations.
![Grafik](/http/eprints.cs.univie.ac.at/style/images/pfeil_up_dunkelblau.gif)
- Tran, Thanh
- Weiss, Erhard
- Ruhsam, Christoph
- Czepa, Christoph
- Tran, Huy
- Zdun, Uwe
![Grafik](/http/eprints.cs.univie.ac.at/style/images/pfeil_up_dunkelblau.gif)
Category |
Paper in Conference Proceedings or in Workshop Proceedings |
Event Title |
4th International Workshop on Adaptive Case Management and other Non-workflow Approaches to BPM (AdaptiveCM 15) |
Divisions |
Software Architecture |
Subjects |
Angewandte Informatik |
Event Location |
Innsbruck, Austria |
Event Type |
Workshop |
Event Dates |
31 Aug - 03 Sep 2015 |
Series Name |
Business Process Management Workshops 2015 |
Date |
August 2015 |
Export |
![Grafik](/http/eprints.cs.univie.ac.at/style/images/pfeil_up_dunkelblau.gif)