Skip to Main content Skip to Navigation

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.
Document type :
Complete list of metadata

Cited literature [148 references]  Display  Hide  Download
Contributor : Abes Star :  Contact Connect in order to contact the contributor
Submitted on : Monday, March 2, 2020 - 3:27:10 PM
Last modification on : Wednesday, March 31, 2021 - 3:13:32 AM
Long-term archiving on: : Wednesday, June 3, 2020 - 2:37:41 PM


Version validated by the jury (STAR)


  • HAL Id : tel-02495825, version 1



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



Record views


Files downloads