Traditional Workflow Management Systems (WFMSs) are not flexible enough to support loosely-structured pro- cesses. Furthermore, flexibility 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 proto- type of a WFMS that uses a constraint-based process mod- eling language for the development of declarative models describing loosely-structured processes. In this paper we show how DECLARE can support loosely-structured pro- cesses without sacrificing important WFMSs features like user support, model verification, analysis of past execu- tions, changing models at run-time, etc.