Using multidimensional separation of concerns to (re)shape evolving software
Communications of the ACM
Composing crosscutting concerns using composition filters
Communications of the ACM
Communications of the ACM
A calculus of superimpositions for distributed systems
AOSD '02 Proceedings of the 1st international conference on Aspect-oriented software development
Proceedings of the 2nd international conference on Aspect-oriented software development
A Framework for the Detection and Resolution of Aspect Interactions
GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
An Object-Oriented Language-Database Integration Model: The Composition-Filters Approach
ECOOP '92 Proceedings of the European Conference on Object-Oriented Programming
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
An Adaptive Run Time Manager for the Dynamic Integration and Interaction Resolution of Features
ICDCSW '02 Proceedings of the 22nd International Conference on Distributed Computing Systems
AspectJ(tm): Aspect-Oriented Programming in Java
NODe '02 Revised Papers from the International Conference NetObjectDays on Objects, Components, Architectures, Services, and Applications for a Networked World
Morphing aspects: incompletely woven aspects and continuous weaving
Proceedings of the 3rd international conference on Aspect-oriented software development
Composition, reuse and interaction analysis of stateful aspects
Proceedings of the 3rd international conference on Aspect-oriented software development
Verifying aspect advice modularly
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Static composition of refactorings
Science of Computer Programming - Special issue on program transformation
Distributing classes with woven concerns: an exploration of potential fault scenarios
Proceedings of the 4th international conference on Aspect-oriented software development
Classpects: unifying aspect- and object-oriented language design
Proceedings of the 27th international conference on 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
Pipa: a behavioral interface specification language for aspectJ
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Aspect categories and classes of temporal properties
Transactions on Aspect-Oriented Software Development I
Model checking dynamic states in GROOVE
SPIN'06 Proceedings of the 13th international conference on Model Checking Software
A comparison of logic-based infrastructures for concern detection and extraction
Proceedings of the 3rd workshop on Linking aspect technology and evolution
Using conditional transformations for semantic user interface adaptation
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
Modeling the car crash crisis management system using HiLA
Transactions on aspect-oriented software development VII
Modeling the car crash crisis management system using HiLA
Transactions on aspect-oriented software development VII
Detecting and resolving conflicts between adaptation aspects in multi-staged XML transformations
Proceedings of the 11th ACM symposium on Document engineering
HiLA: high-level aspects for UML state machines
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Confluence of aspects for sequence diagrams
Software and Systems Modeling (SoSyM)
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 analysis of correctness and completeness of weaving. For certain types of interactions automatic resolution is possible. In this case, our algorithm computes a "weaving schedule" that ensures correctness and completeness of the weaving process. This is possible without special purpose program annotations or formal specifications of aspect semantics. Our technique can check weaving interferences independently of any base program and is applicable to aspects that contain implicit mutual dependencies in their implementation.