Skip to Main content Skip to Navigation
Conference papers

Applying CLP to predict extra-functional properties of component-based models

Olivier Defour 1 Jean-Marc Jézéquel 1 Noël Plouzeau 1
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [4 references]  Display  Hide  Download
Contributor : Jean-Marc Jézéquel <>
Submitted on : Wednesday, February 27, 2013 - 3:30:50 PM
Last modification on : Friday, July 10, 2020 - 4:20:07 PM
Long-term archiving on: : Tuesday, May 28, 2013 - 4:00:19 AM


Files produced by the author(s)


  • 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⟩



Record views


Files downloads