A Declarative Approach for Flexible Business Processes Management

  • Pesic M
  • van der Aalst W
  • 17


    Mendeley users who have this article in their library.
  • N/A


    Citations of this article.


Management of dynamic processes in an important issue in rapidly changing organizations. Workflow management systems are sys- tems that use detailed process models to drive the business processes. Current business process modelling languages and models are of imper- ative nature – they strictly prescribe how to work. Systems that al- low users to maneuver within the process model or even change the model while working are considered to be the most suitable for dynamic processes management. However, in many companies it is not realistic to expect that end-users are able to change their processes. Moreover, the imperative nature of these languages forces designer to over-specify processes, which results in frequent changes. We propose a fundamen- tal paradigm shift for flexible process management and propose a more declarative approach. Declarative models specify what should be done without specifying how it should be done. We propose the ConDec lan- guage for modelling and enacting dynamic business processes. ConDec is based on temporal logic rather than some imperative process modelling language.

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document


  • M. Pesic

  • W. M. P. van der Aalst

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free