Citation Context

...studied modular reasoning without the use of explicit module systems. For example, Clifton and Leavens propose engineering techniques that reduce dependencies between concerns in aspect-oriented code =-=[5]-=-. Other work has studied analyzing base code and advice separately using interfaces similar to those of Open Modules [14], and analyzing what advice might be affected by a change to code [13]. Our mod...

Citation Context

...s ofsthe lifecycle [16, 20, 34, 35].sWhile code written with AOP clearly seems modular, ansinteresting dialogue has been raised about the fullsimplications of AOP for modularity and modular reasonings=-=[1, 8, 9]-=-. This paper contributes an improved understandingsof interfaces in the presence of AOP to that dialogue. Wesintroduce the concept of aspect-aware interfaces, and showsthat a module’s aspect-aware int...

Citation Context

...s of the functional model can be enforced by a compiler, whereas adhering to the guidelines of McEachen and Alexander is the responsibility of programmers. Modular reasoning with AOP is controversial =-=[15]-=-[16][17]. Kiczales and Mezini claim that in the presence of aspects “the complete interface of a module can only be determined once the complete configuration of modules in the system is known” [26]. ...

Citation Context

... method and on indirect interactions that take place when advice and methods access the same object fields. The research most closely related to ours classifies aspects into spectators and assistants =-=[8]-=-. A spectator does not affect the control flow into or out of a crosscut method and writes only private data that is unavailable to crosscut methods. Spectators correspond to augmentation aspects in o...

Citation Context

...ast to the pre- and postcondition of a method, which are associated with method call and return, the pre- and postcondition of advice is defined in terms of the principle of control flow transferring =-=[5]-=-. This is because each piece of advice in AspectJ is automatically woven into the method(s) it advises by a compiler (called ajc) during the aspect weaving process. Advice thereforesexecutes in respon...

Citation Context

...studied modular reasoning without the use of explicit module systems. For example, Clifton and Leavens propose engineering techniques that reduce dependencies between concerns in aspect-oriented code =-=[4]. -=-Our module system is based on that of standard ML [17]. TinyAspect’s sealing construct is similar to the freeze operator that is used to close a module to future extensions in module calculi such as...