Mechanization of invasive software composition in F-logic
Ade Azurat · International Conference on Computer Engineering and Applications · 2007
F-Logic is originally developed to bridge between computational formalism and data specification language while providing clear object-oriented semantic. F-Logic provides partiality on attributes and methods. This partiality is also required by software composition in practice. Invasive Software Composition composes software component by applying invasive composition operator (composer) to adapt the component. This adaptation may involve partiality. The combination of object-oriented and partiality characteristic of F-Logic provides a promising framework for the mechanization of Invasive Software Composition including aspect separation.