Model-Driven Techniques for Evaluating the QoS of Middleware Configurations for DRE Systems