The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Model checking
Composing crosscutting concerns using composition filters
Communications of the ACM
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Slicing Aspect-Oriented Software
IWPC '02 Proceedings of the 10th International Workshop on Program Comprehension
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
A classification system and analysis for aspect-oriented programs
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
AO challenge - implementing the ACID properties for transactional objects
Proceedings of the 5th international conference on Aspect-oriented software development
A graph-based approach to modeling and detecting composition conflicts related to introductions
Proceedings of the 6th international conference on Aspect-oriented software development
Rely-guarantee approach to reasoning about aspect-oriented programs
Proceedings of the 5th workshop on Software engineering properties of languages and aspect technologies
MAVEN: modular aspect verification
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Verifying scenario-based aspect specifications
FM'05 Proceedings of the 2005 international conference on Formal Methods
Aspect categories and classes of temporal properties
Transactions on Aspect-Oriented Software Development I
FM '08 Proceedings of the 15th international symposium on Formal Methods
Modular verification of strongly invasive aspects: summary
Proceedings of the 2009 workshop on Foundations of aspect-oriented languages
Detecting unanticipated aspect interferences at runtime with compositional intentions
Proceedings of the Workshop on AOP and Meta-Data for Software Evolution
Modular Verification of Strongly Invasive Aspects
Languages: From Formal to Natural
Preserving the separation of concerns while composing aspects on shared joinpoints
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Preserving the separation of concerns while composing aspects on shared joinpoints
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Composing aspects with aspects
Proceedings of the 9th International Conference on Aspect-Oriented Software Development
MAVEN: modular aspect verification and interference analysis
Formal Methods in System Design
A formal approach to analyzing interference problems in aspect-oriented designs
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
Static analysis of aspect interaction and composition in component models
Proceedings of the 10th ACM international conference on Generative programming and component engineering
Expressing aspectual interactions in design: experiences in the slot machine domain
Proceedings of the 14th international conference on Model driven engineering languages and systems
Row types for delta-oriented programming
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Two-way traceability and conflict debugging for AspectLTL programs
Proceedings of the 11th annual international conference on Aspect-oriented Software Development
A closer look at aspect interference and cooperation
Proceedings of the 11th annual international conference on Aspect-oriented Software Development
Conflict detection in delta-oriented programming
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Aspect of assembly: from theory to performance
Transactions on Aspect-Oriented Software Development IX
Specification and verification of event detectors and responses
Proceedings of the 12th annual international conference on Aspect-oriented software development
A pointcut language for setting advanced breakpoints
Proceedings of the 12th annual international conference on Aspect-oriented software development
The potential of omniscient debugging for aspect-oriented programming languages
Proceedings of the 1st workshop on Comprehension of complex systems
Two-Way traceability and conflict debugging for AspectLTL programs
Transactions on Aspect-Oriented Software Development X
Confluence of aspects for sequence diagrams
Software and Systems Modeling (SoSyM)
| Hi-index | 0.00 |
Often, insertion of several aspects into one system is desired and in that case the problem of interference among the different aspects might arise, even if each aspect individually woven is correct relative to its specification. In this type of interference, one aspect can prevent another from having the required effect on a woven system. Such interference is defined and specifications of aspects are described. An incremental proof strategy based on model checking pairs of aspects for a generic model expressing the specifications is defined. When an aspect is added to a library of noninterfering aspects, only its interaction with each of the aspects from the library needs to be checked. Such checks for each pair of aspects are proven sufficient to detect interference or establish interference freedom for any order of application of any collection of aspects in a library. Implemented examples of interfering aspects are analyzed and the results are described, showing the advantage of the incremental strategy over a direct proof in space needed for the model check. Early analysis and detection of such interference in libraries of aspects will enable informed choice of the aspects to be applied, and of the weaving order.