Applying CLP to predict extra-functional properties of component-based models - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2004

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 non-linear constraints over the reals: the dimensions and their pre/post-conditions as variables controlled by nonlinear constraints. These constraints are either inequalities that bound the admissible QoS values, or non-linear functions that bind QoS properties between them. Using the CLP, we are able to determine if a QoS system can be satisfied, and to predict what quality level is required by the assembly from its environment, as a set of admissible intervals. The CLP is a general framework that can be implemented with a realistic effort, to reason about the component-based models QoS properties at design time, that is one of the most important issues in CBSE.
Fichier principal
Vignette du fichier
Defour04b.pdf (58.99 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00795029 , version 1 (27-02-2013)


  • HAL Id : hal-00795029 , version 1


Olivier Defour, Jean-Marc Jézéquel, Noël Plouzeau. Applying CLP to predict extra-functional properties of component-based models. Proceedings of Logic Programming: 20th International Conference, ICLP 2004, Sep 2004, RENNES, France. ⟨hal-00795029⟩
311 View
145 Download


Gmail Facebook X LinkedIn More