Compositional Patterns of Non-Functional Properties for Contract Negotiation

Abstract

<p class="MsoNormal" style="text-align: left; margin: 0cm 0cm 0pt; layout-grid-mode: char;" align="left"><span class="text"><span style="font-family: ";Arial";,";sans-serif";; font-size: 8.5pt;">Providing powerful and fine-grained capabilities for the analysis and management of non-functional properties is a major challenge for component-based software systems. This article presents an approach that relies on some integration patterns of non-functional properties in hierarchical software components. These patterns are based on a classification of low-level non-functional properties, which takes into account their nature and lifecycle. They make explicit the implementation of these properties in relation with components. The proposed model also provides appropriate support for some forms of compositional reasoning on theses properties. The compositional patterns have been implemented on a hierarchical component platform and directly exploited in non-functional contract negotiation on a validating application. The proposed patterns enable negotiation processes to be precisely propagated down the component hierarchy, so that better runtime adaptations can be conducted on reaction to non-functional degradations.</span></span><span style="font-family: ";Arial";,";sans-serif";; font-size: 8.5pt;"></span></p

QoS Contract-Aware Reconfiguration of Component Architectures Using E-Graphs

“…On the treatment of contracts, in [6] Chang and Collet focuses on the problem of combining low-level properties of individual components to obtain system-level properties as a support for contract negotiation. Their approach identies then compositional patterns for non-functional properties.…”