A Model-Driven Approach for Event-Based Business Process Monitoring · Study