A closer look at aspect interference and cooperation

AOSD'12 - Proceedings of the 11th Annual International Conference on Aspect Oriented Software Development

Volumn , Issue , 2012, Pages 107-118

  Disenfeld, Cynthia ^a   Katz, Shmuel ^a  

^a TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

Aspects; Composition; Cooperation; Interference; Joint weaving; Verification

Indexed keywords

ASPECT INTERFERENCES; ASPECT-J; ASPECTS; COMPOSITIONAL VERIFICATION; COOPERATION; INTERFERENCE DETECTION; JOINT-WEAVING; PROOF OBLIGATIONS; RECURSIONS; REUSABLE LIBRARY;

CHEMICAL ANALYSIS; COMPUTER SYSTEMS PROGRAMMING; SEMANTICS; SPECIFICATIONS; VERIFICATION; WAVE INTERFERENCE;

WEAVING;

EID: 84860491013     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2162049.2162063     Document Type: Conference Paper

References (17)

1. M. Aksit, A. Rensink, and T. Staijen. A graph-transformation-based simulation approach for analysing aspect interference on shared join points. In Proceedings of the 8th ACM international conference on Aspect-oriented software development, AOSD '09, pages 39-50, New York, NY, USA, 2009. ACM.
2. J. Aldrich. Open modules: A proposal for modular reasoning in aspect-oriented programming. In In Workshop on foundations of aspect-oriented languages, pages 7-18, 2004.
3. Y. Alperin-Tsimerman and S. Katz. Dataflow analysis for properties of aspect systems. In Proceedings of 5th Haifa Verification Conference, LNCS 6405, 2009.
4. C. Clifton and G. T. Leavens. Observers and assistants: A proposal for modular aspect-oriented reasoning. In In FOAL Workshop, 2002.
5. J. C. Corbett, M. B. Dwyer, J. Hatcliff, S. Laubach, C. S. Pǎsǎreanu, Robby, and H. Zheng. Bandera: extracting finite-state models from java source code. In Proceedings of the 22nd international conference on Software engineering, ICSE '00, pages 439-448, New York, NY, USA, 2000. ACM.
6. R. Douence, P. Fradet, and M. SÜdholt. A framework for the detection and resolution of aspect interactions. In Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering, GPCE '02, pages 173-188, London, UK, 2002. Springer-Verlag.
7. P. E. A. Durr, T. Staijen, L. M. J. Bergmans, and M. Akşit. Reasoning about semantic conflicts between aspects. Technical Report TR-CTIT-05-73, Centre for Telematics and Information Technology University of Twente, Enschede, September 2005.
8. M. Goldman, E. Katz, and S. Katz. Maven: modular aspect verification and interference analysis. Form. Methods Syst. Des., 37:61-92, November 2010.
9. E. Katz and S. Katz. Incremental analysis of interference among aspects. In Proceedings of the 7th workshop on Foundations of aspect-oriented languages, FOAL '08, pages 29-38, New York, NY, USA, 2008. ACM.
10. E. Katz and S. Katz. Modular verification of strongly invasive aspects: summary. In Proceedings of the 2009 workshop on Foundations of aspect-oriented languages, FOAL '09, pages 7-12, New York, NY, USA, 2009. ACM.
11. E. Katz and S. Katz. User queries for specification refinement treating shared aspect join points. SEFM '10, pages 73-82, Washington, DC, USA, 2010. IEEE Computer Society.
12. S. Katz. Aspect categories and classes of temporal properties. T. Aspect-Oriented Software Development I, pages 106-134, 2006. (Pubitemid 350259072)
13. R. Khatchadourian, J. Dovland, and N. Soundarajan. Enforcing behavioral constraints in evolving aspect-oriented programs. In Proceedings of the 7th workshop on Foundations of aspect-oriented languages, FOAL '08, pages 19-28, New York, NY, USA, 2008. ACM.
14. G. Kiczales and M. Mezini. Aspect-oriented programming and modular reasoning. In Proceedings of the 27th international conference on Software engineering, ICSE '05, pages 49-58, New York, NY, USA, 2005. ACM.
15. S. Krishnamurthi and K. Fisler. Foundations of incremental aspect model-checking. ACM Trans. Softw. Eng. Methodol., 16, April 2007.
16. F. Nielson, H. R. Nielson, and C. Hankin. Principles of Program Analysis. Springer-Verlag New York, Inc., Secaucus, NJ, USA, 1999.
17. N. Weston, F. Taiani, and A. Rashid. Interaction analysis for fault-tolerance in aspect-oriented programming. In In Proc. Workshop on Methods, Models, and Tools for Fault Tolerance, pages 95-102, 2007.