Bandera: extracting finite-state models from Java source code
Proceedings of the 22nd international conference on Software engineering
Principles of Program Analysis
Principles of Program Analysis
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
Aspect-oriented programming and modular reasoning
Proceedings of the 27th international conference on Software engineering
Foundations of incremental aspect model-checking
ACM Transactions on Software Engineering and Methodology (TOSEM)
Enforcing behavioral constraints in evolving aspect-oriented programs
Proceedings of the 7th workshop on Foundations of aspect-oriented languages
Incremental analysis of interference among aspects
Proceedings of the 7th workshop on Foundations of aspect-oriented languages
Proceedings of the 8th ACM international conference on Aspect-oriented software development
Modular verification of strongly invasive aspects: summary
Proceedings of the 2009 workshop on Foundations of aspect-oriented languages
MAVEN: modular aspect verification and interference analysis
Formal Methods in System Design
User Queries for Specification Refinement Treating Shared Aspect Join Points
SEFM '10 Proceedings of the 2010 8th IEEE International Conference on Software Engineering and Formal Methods
Dataflow analysis for properties of aspect systems
HVC'09 Proceedings of the 5th international Haifa verification conference on Hardware and software: verification and testing
Aspect categories and classes of temporal properties
Transactions on Aspect-Oriented Software Development I
Compositional verification of events and aspects
Proceedings of the 11th annual international conference on Aspect-oriented Software Development Companion
Specification and verification of event detectors and responses
Proceedings of the 12th annual international conference on Aspect-oriented software development
Taming aspects with monads and membranes
Proceedings of the 12th workshop on Foundations of aspect-oriented languages
Towards control of aspect interference using membranes and monads
Proceedings of the 12th annual international conference companion on Aspect-oriented software development
A graphical tool for observing state and behavioral changes at join points
Proceedings of the 12th annual international conference companion on Aspect-oriented software development
User-friendly event and aspect verification
Proceedings of the 12th annual international conference companion on Aspect-oriented software development
Extending Type Inference to Variational Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
On composing and proving the correctness of reactive behavior
Proceedings of the Eleventh ACM International Conference on Embedded Software
| Hi-index | 0.00 |
In this work we consider specification and compositional verification for interference detection when several aspects are woven together under joint-weaving semantics without recursion. In this semantics, whenever a joinpoint of an aspect is reached, the corresponding advice is begun even if the joinpoint is inside the advice of other aspects. This captures most of the possible aspect interference cases in AspectJ. Moreover, the given technique is used to capture cooperation among aspects, which enhances modularity. The extended specification and proof obligations should provide insight to the possible interactions among aspects in a reusable library.