Applying CLP to Predict Extra-Functional Properties of Component-Based Models

A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional compliance between provided and required ports is necessary to build functional systems. At the same time, one of the most important issues today in Component-Based Software Engineering (CBSE) is the prediction of the composite structure Quality of Service (QoS) at design time, using the extrafunctional properties of its components. This paper focuses on this specific CBSE issue, and the use of Constraint Logic Programming (CLP) in this context. For each component providing and requiring services, we propose to specify the QoS properties as required and provided operations, called dimensions, on the component ports. In this model, a QoS property can depend on other QoS attributes, and be constrained by OCL pre- and post-conditions. From this model, the QoS aspect of a component is translated into a QoS system of no...

• Type: Conference
• Year: 2004
• Where: ICLP
• Authors: Olivier Defour, Jean-Marc Jézéquel, Noël Plouzeau
• Keywords: Admissible Qos Values, ICLP 2004, Programming Languages, QoS Attributes, QoS Properties