AO-PFA is an aspect oriented feature modelling language. This report discusses several theoretical issues regarding the weaving process of AO-PFA. The weaving of aspects is to extract subterms from product family terms in the base specification, and then to replace the extracted subterm (selected join points) by another term (advice). The problem of extracting a subterm from another term is rel...

A weaving drawdown is a rectangular grid of black and white squares with at least one black and one white square in each row and column. A pattern results from vertical and horizontal translations of the defining grid. Any such grid defines a tiling pattern. However, from a weaving point of view, some of these grids define actual fabrics while others correspond to collections of threads that fa...

Stateful aspects is a recent topic in AOSD. As the trigger of a stateful aspect depends on the system execution trace, it needs complicate modeling mechanisms for the pointcuts and weaving operations. We present an approach to weaving stateful aspects using Labelled Transition System (LTS). In the approach, the base system is specified as a LTS. The pointcut is modeled as an extended LTS that o...

Aspect-oriented concepts are currently introduced in early stages of software development to achieve better separation of concerns. However, at the architecture level, there exists no strict model for aspects and their weaving, which makes it difficult for analyzing and reasoning about the semantic problems introduced in the composition of the aspects and the base system. We present a formal mo...

In spite of themodularizationbene!ts supportedby theAspect-Orientedprogrammingparadigm, di"erent usability issues have hindered its adoption.#e decoupling between aspect de!nitions and base code, and the compile-time weaving mechanism adopted by di"erent AOP languages, require developers to manage the consistency between base code and aspect code themselves.#ese mechanisms create opportunities ...