Quality of service aware binding in open systems

Abstract

This thesis addresses negotiation of bindings in QoS aware open systems and in particular how to characterize possible contracts, requirements and capabilities of heterogeneous environments. Our approach is (1) to use trading of policies as the principle for negotiation and (2) the use of declared or rule-based conformance for QoS statements to be used in negotiation and (3) a middleware binding framework supporting negotiable bindings. A policy is an architectural entity which encapsulates a potential QoS contract plus a resource and implementation configuration to enforce the contract. The contract part (profile) consists of an obligation to be matched with requirements and an expectation to be matched with descriptions of the environment. A policy may encapsulate how implementation components and properties of environments are combined to achieve a QoS level. Policy trading is the proposed principle for negotiation. Potential contracts may be orthogonal to interfaces and interface types, and are associated with some trading service. Negotiation is essentially to collect requirements and environment descriptions from participants and match these with policies. We investigate an approach to contract matching based on declared conformance. An important contribution is the development of a declarative expression language for profiles, requirement and environment descriptions used in negotiation at run-time. We propose to define conformance as rule bases. Such rule bases can be compiled to efficient conformance checking code. We propose two composition operators to combine expressions at run-time and develop the foundations of a generic conformance checking algorithm for profile expressions. A prototype binding framework is developed, supporting activation of bindings, pluggable binder and activator components. The framework is extended to support negotiation using policy trading and profile expressions. The approach is validated by examples and proof of concept implementations. A profile model compiler, a policy trader and the binding framework are implemented and applied to example applications.