Skip to Main content Skip to Navigation
Theses

Enabling white-box reasonings on black-box composition operators in a domain-independent way

Abstract : The complexity of software systems made it necessary to split them up and reunite them afterward. Separating concerns is a well-studied challenge and teams separate the work to be done beforehand. Still, separating without considering the recomposition leads to rushed, unsafe, and time-consuming recomposition. The composition should create the right and best system with minimal human effort. Composition operators are often ad-hoc solutions developed by non-specialist development teams. They are not developed using high-level formalism and end up being too complicated or too poorly formalized to support proper reasonings. We call them "black-boxes" as existing techniques requiring knowledge of its internals cannot be applied or reused. However, black-box operators, like others, must ensure guarantees: one must assess their idempotency to use them in a distributed context; provide an average execution time to assess usage in a reactive system; check conflicts to validate that the composed artifact conforms to business properties. Despite the black-box aspect, none of these properties are domain-specific. In this thesis, we present a domain-independent approach that enables (i) reasonings on composition equation, (ii) to compose them safely, (iii) by assessing properties similar to the ones from the state-of-the-art. We validated the approach in heterogeneous application domains: 19 versions of Linux kernel with 54 rewriting rules, fixing 13 antipatterns in 22 Android apps, and validating the efficiency of the approach on the composition of 20k Docker images.
Complete list of metadatas

Cited literature [148 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-02495825
Contributor : Abes Star :  Contact
Submitted on : Monday, March 2, 2020 - 3:27:10 PM
Last modification on : Thursday, March 5, 2020 - 12:20:49 PM

File

2019AZUR4096.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-02495825, version 1

Collections

Citation

Benjamin Benni. Enabling white-box reasonings on black-box composition operators in a domain-independent way. Software Engineering [cs.SE]. Université Côte d'Azur, 2019. English. ⟨NNT : 2019AZUR4096⟩. ⟨tel-02495825⟩

Share

Metrics

Record views

76

Files downloads

43