University of Greifswald
While Business Process Management (BPM) was designed to support rigid production processes, now-a-days it is also at the core of more flexible business applications and has established itself firmly in the service world. Such a shift calls for new techniques. In this paper, the authors introduce a variability framework for BPM which utilizes temporal logic formalisms to represent the essence of a process, leaving other choices open for later customization or adaption. The goal is to solve two major issues of BPM: enhancing reusability and flexibility. Furthermore, by enriching the process modeling environment with graphical elements, the complications of temporal logic are hidden from the user.