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...