QUICKER: A Model-driven QoS Mapping Tool for QoS-enabled Component Middleware∗

This paper provides three contributions to the study of quality of service (QoS) configuration in component-based DRE systems. First, we describe the challenges associated with mapping the platform-independent QoS policies of an application into platform-dependent values of QoS param-eters used to configure the behavior of QoS-enabled com-ponent middleware. Second, we describe a novel approach that uses model-transformation to map these QoS policies onto component middleware QoS configuration parameters. Third, we demonstrate the use of model-checking to verify the properties of the transformation and automate the syn-thesis of configuration parameters required to tune the QoS-enabled component middleware. Our results indicate that model-transformation and model-checking provide signifi-cant benefits with respect to automation, reusability, verifia-bility, and scalability of the QoS mapping process compared with conventional middleware configuration techniques. 1