DECLARE: Full Support for Loosely-Structured Processes

AbstractTraditional Workow Management Systems (WFMSs) are not exible enough to support loosely-structured processes. Furthermore, exibility in contemporary WFMSs usually comes at a certain cost, such as lack of support for users, lack of methods for model analysis, lack of methods for analysis of past executions, etc. DECLARE is a prototype of a WFMS that uses a constraint-based process modeling language for the development of declarative models describing loosely-structured processes. In this paper we show how DECLARE can support loosely-structured processes without sacricing important WFMSs features like user support, model verication, analysis of past executions, changing models at run-time, etc. I