Rely-guarantee approach to reasoning about aspect-oriented programs

Proceedings of the 5th Workshop on Software Engineering Properties of Languages and Aspect Technologies, SPLAT 2007, Held at the 6th International Conference on Aspect-Oriented Software Development

Volumn 217, Issue , 2007, Pages

  Khatchadourian, Raffi ^a   Soundarajan, Neelam ^a  

^a OHIO STATE UNIVERSITY   (United States)

Author keywords

aspect oriented software; modular verification; rely guarantee

Indexed keywords

ASPECT-ORIENTED PROGRAMS; ASPECT-ORIENTED SOFTWARE; CONCURRENT PROGRAM; DISTRIBUTED PROGRAM; KEY PROBLEMS; MODULAR VERIFICATION;

COMPUTER SOFTWARE SELECTION AND EVALUATION; COMPUTER SYSTEMS PROGRAMMING; LINGUISTICS; VERIFICATION;

SOFTWARE DESIGN;

EID: 72849109635     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1233843.1233848     Document Type: Conference Paper

References (16)

1. J. Aldrich. Open modules: Modular reasoning about advice. In Proc. of ECOOP, pages 144-168. Springer, 2005.
2. C. Clifton and G. Leavens. Observers and assistants: A proposal for modular aspect-oriented reasoning. Proc. FOAL Workshop., 2002.
3. D. Dantas and D. Walker. Harmless advice. In POPL '06, pages 383-396. ACM, 2006.
4. X. Deng, M. Dwyer, J. Hatcliff, and M. Mizuno. Syncgen: An aop framework for synchronization. In Int. Conf. on Tools and Alg. for Construction and Analysis of Sys., pages 158-162. Springer, 2004.
5. B. Devereux. Compositional reasoning about aspects using alternating-time logic. Proc. FOAL Workshop., 2003.
6. R. Filman and D. Friedman. Aspect-oriented programming is quantification and obliviousness. In OOPSLA 2000 Workshop on Advanced Separation of Concerns, Minneapolis, MN, October 2000.
7. E. Gamma. JHotdraw, 2004. Available for download from http://sourceforge.net/projects/jhotdraw.
8. K. Gybels and J. Brichau. Arranging language features for more robust pattern-based crosscuts. In AOSD '03: Proceedings of the 2nd international conference on Aspect-oriented software development, pages 60-69, 2003.
9. C.A.R. Hoare. Communicating sequential processes. Comm. ACM, 21:666-677, 1978.
10. G. Kiczales, J. Lamping, A. Menhdhekar, C. Maeda, C. Lopes, J. Loingtier, and J. Irwin. Aspect-oriented programming. In Proceedings European Conference on Object-Oriented Programming, volume 1241, pages 220-242. 1997.
11. G. Kiczales and M. Mezini. Aspect-oriented programming and modular reasoning. In Proc. of ICSE '05, pages 49-58. ACM, 2005.
12. S. Krishnamurthi, K. Fisler, and M. Greenberg. Verifying aspect advice modularly. In Proc. of the 12th FSE, pages 137-146. ACM, 2004.
13. R. Laddad. AspectJ in action. Manning, 2003.
14. M. Lippert and C. Lopes. A study on exception detection and handling using AOP. In ICSE, pages 418-427. ACM, 2002.
15. A. Rashid and A. Moreira. Domain models are NOT aspect free. In MoDELS, pages 155-169, 2006.
16. Q. Xu, W. de Roever, and J. He. Rely-guarantee method for verifying shared variable concurrent programs. Formal Aspects of Computing, 9(2):149-174, 1997.