Today, a wide variety of techniques have been proposed to model the process aspects of business processes. The problem, however, is that many of these are focused on providing a clear graphical representation of the models and give almost no support for complex verification procedures....

The concept of variability is not new in software engineering, but current research mostly remains vague about the overall variability concept when it comes to giving a clear overview of the dimensions of variability. In this paper we evaluate the core variability concept by proposing an...