Transactions on Aspect-Oriented Software Development VI

Unlike many models used in the sciences, models in software and in lingu- tics have the same nature as the things they model. This requires models to be formal, and the weaving process be described as a program (i.e., an executable meta-model) manipul- ing models to produce a detailed design.