Enforcing Different Contracts in Hierarchical Component-Based Systems

Collet, Philippe; Ozanne, Alain; Rivierre, Nicolas

doi:10.1007/11821946_4

Cited by 5 publications

(2 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The combination of several kinds of contracts have also been proposed for hierarchical components, with the coupling of executable assertions and temporal logic [13] and with some composition properties enabling the creation of a composite contract [14]. Contrary to these approaches, our work is tailored to the feedback loop architecture, ensuring more properties on the data flow synchronization, framing the implementation while being more technology agnostic.…”

Section: Component Contractsmentioning

confidence: 99%

Contracts-Based Control Integration into Software Systems

Křikava

Collet

Rouvoy

et al. 2017

Software Engineering for Self-Adaptive Systems III. Assurances

Self Cite

View full text Add to dashboard Cite

Among the different techniques that are used to design selfadaptive software systems, control theory allows one to design an adaptation policy whose properties, such as stability and accuracy, can be formally guaranteed under certain assumptions. However, in the case of software systems, the integration of these controllers to build complete feedback control loops remains manual. More importantly, it requires an extensive handcrafting of non-trivial implementation code. This may lead to inconsistencies and instabilities as no systematic and automated assurance can be obtained on the fact that the initial assumptions for the designed controller still hold in the resulting system. In this chapter, we rely on the principles of design-by-contract to ensure the correction and robustness of a self-adaptive software system built using feedback control loops. Our solution raises the level of abstraction upon which the loops are specified by allowing one to define and automatically verify system-level properties organized in contracts. They cover behavioral, structural and temporal architectural constraints as well as explicit interaction. These contracts are complemented by a first-class support for systematic fault handling. As a result, assumptions about the system operation conditions become more explicit and verifiable in a systematic way.

show abstract

Section: Component Contractsmentioning

confidence: 99%

Contracts-Based Control Integration into Software Systems

Křikava

Collet

Rouvoy

et al. 2017

Software Engineering for Self-Adaptive Systems III. Assurances

Self Cite

View full text Add to dashboard Cite

show abstract

“…Other behavioral specification formalisms have been recently integrated in ConFract[9]. Other details about this system can also be found in[8].…”

mentioning

confidence: 99%

Compositional Patterns of Non-Functional Properties for Contract Negotiation

Chang¹,

Collet

2007

JSW

Self Cite

View full text Add to dashboard Cite

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.

show abstract