A graph-based approach to modeling and detecting composition conflicts related to introductions
Proceedings of the 6th international conference on Aspect-oriented software development
A comparison of logic-based infrastructures for concern detection and extraction
Proceedings of the 3rd workshop on Linking aspect technology and evolution
Towards Concrete Syntax Patterns for Logic-based Transformation Rules
Electronic Notes in Theoretical Computer Science (ENTCS)
Using conditional transformations for semantic user interface adaptation
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
Detection and Resolution of Weaving Interactions
Transactions on Aspect-Oriented Software Development V
| Hi-index | 0.00 |
Jointly deployed aspects may interact with each other. While some interactions might be intended, unintended interactions (interferences) can break a program. Detecting and resolving interferences is particularly hard if aspects are developed independently, without knowledge of each other. Work on interference detection has focused so far on the correctness of weaved programs. In this paper we focus on the correctness and completeness of aspect weaving. We show that a large class of interferences result from incorrect or incomplete weaving and present a language independent correctness, and completeness. Our technique can check aspect interferences independent of any base program and is applicable to aspects that contain implicit mutual dependencies in their implementation, without needing special purpose program annotations or formal specifications of aspect semantics.