Embracing Process Compliance and Flexibility through Behavioral Consistency Checking in ACM: A Repair Service Management Case

Embracing Process Compliance and Flexibility through Behavioral Consistency Checking in ACM: A Repair Service Management Case

Abstract

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 Top
Authors
  • Tran, Thanh
  • Weiss, Erhard
  • Ruhsam, Christoph
  • Czepa, Christoph
  • Tran, Huy
  • Zdun, Uwe
Grafik Top
Shortfacts
Category
Paper in Conference Proceedings or in Workshop Proceedings (Full Paper in 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 Top