In this chapter, we investigate how the first-order nature of the CLIMB language can be exploited to extend the expressiveness of ConDec along different dimensions, towards the support of:
quantitative (metric) temporal constraints;
activity data and data aware conditions;
a non atomic model of activities.
We call the extended language ConDec++. ConDec++ reconciles ConDec with MXML, a well known meta model proposed by van Dongen and van der Aalst for standardizing the representation and storing of event logs .