Design pattern implementation in Java and aspectJ
OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
GXL: Toward a Standard Exchange Format
WCRE '00 Proceedings of the Seventh Working Conference on Reverse Engineering (WCRE'00)
Composition, reuse and interaction analysis of stateful aspects
Proceedings of the 3rd international conference on Aspect-oriented software development
A classification system and analysis for aspect-oriented programs
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Detecting and resolving ambiguities caused by inter-dependent introductions
Proceedings of the 5th international conference on Aspect-oriented software development
An Analysis of the Correctness and Completeness of Aspect Weaving
WCRE '06 Proceedings of the 13th Working Conference on Reverse Engineering
Incremental analysis of interference among aspects
Proceedings of the 7th workshop on Foundations of aspect-oriented languages
Disciplined composition of aspects using tests
Proceedings of the 2008 AOSD workshop on Linking aspect technology and evolution
FM '08 Proceedings of the 15th international symposium on Formal Methods
Proceedings of the 8th ACM international conference on Aspect-oriented software development
XFindBugs: eXtended FindBugs for AspectJ
Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Composing aspects with aspects
Proceedings of the 9th International Conference on Aspect-Oriented Software Development
Practical conflict resolution for the composition of program transformations
SC'08 Proceedings of the 7th international conference on Software composition
MAVEN: modular aspect verification and interference analysis
Formal Methods in System Design
An advice for advice composition in AspectJ
SC'10 Proceedings of the 9th international conference on Software composition
Using VCL as an aspect-oriented approach to requirements modelling
Transactions on aspect-oriented software development VII
A graph-based aspect interference detection approach for UML-based aspect-oriented models
Transactions on aspect-oriented software development VII
Using VCL as an aspect-oriented approach to requirements modelling
Transactions on aspect-oriented software development VII
A graph-based aspect interference detection approach for UML-based aspect-oriented models
Transactions on aspect-oriented software development VII
Information and Software Technology
Confluence of aspects for sequence diagrams
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
The goal of this paper is to model and detect composition conflicts related to introductions. Within this context, we identify several categories of composition conflicts. To analyze the causes of these conflicts precisely, we first model the structure of programs as graphs. Next, we model introductions as graph transformation rules. We define explicit rules to describe when composition conflicts related to introductions occur. We built a prototype tool that detects and visualizes the occurrence of such conflicts in AspectJ programs, making use of an existing graph analysis and rewriting tool. The graph-based models are generated automatically from the source code of Java programs and AspectJ introductions. However, our approach does not make strong assumptions about either the aspect or base language; it has been designed to be applicable to other AOP languages.