Supporting collaborative work through flexible Process Execution

In this paper we present how a combination of declarative and imperative process modeling constructs facilitate compact presentation of complex process based applications. We show how to effectively implement such constructs in Prolog. Since our concept implicates a new way of interaction between process management system and user we also present our new concept of a worklist. It guides process executors through the execution of complex processes. Through this flexible way of executing processes collaborative work is much better supported than in traditional process management systems.