Correlating data objects in fragment-based case management

Abstract

Business process management (BPM) supports organizations with their operational procedures. Traditional BPM focuses on structured processes but lacks support for flexible ones. Case management addresses this gap. The fragment-based case management (fCM) approach models processes as a set of repetitive, structured fragments. At run-time fragments are instantiated and composed to realize flexibility while data requirements synchronize their execution. So far, fCM does not consider data-to-data associations or object-to-fragment bindings. We investigate both by (i) extending fCM models and (ii) refining the execution semantics. For evaluation, we present a formal model based on colored Petri nets.