Eindhoven University of Technology
Declarative languages are becoming more popular for modeling business processes with a high degree of variability. Unlike procedural languages, where the models de ne what is to be done, a declarative model specifies what behavior is not allowed, using constraints on process events. In this paper, the authors study how to support configurability in such a declarative setting. They take declare as an example of a declarative process modeling language and they introduce configurable declare.