A Language for Enabling Model-Driven Analysis of Business Processes