Download now Free registration required
This paper provides three contributions to the study of Quality of Service (QoS) configuration in component-based DRE systems. First, the authors describe the challenges associated with mapping the platform-independent QoS policies of an application into platform-dependent values of QoS parameters used to configure the behavior of QoS-enabled component middleware. Second, the authors describe a novel approach that uses model-transformation to map these QoS policies onto component middleware QoS configuration parameters. Third, they demonstrate the use of model-checking to verify the properties of the transformation and automate the synthesis of configuration parameters required to tune the QoS-enabled component middleware.
- Format: PDF
- Size: 501.2 KB