Enforcing behavioral constraints in evolving aspect-oriented programs

FOAL'08 - Proceedings of the 7th Workshop on Foundations of Aspect-Oriented Languages, Held at the 7th International Conference on Aspect-Oriented Software Development

Volumn , Issue , 2008, Pages 19-28

  Khatchadourian, Raffi ^a   Dovland, Johan ^b   Soundarajan, Neelam ^a  

^a OHIO STATE UNIVERSITY   (United States)

^b UNIVERSITY OF OSLO   (Norway)

Author keywords

Aspect oriented programming; Modular reasoning; Rely guarantee

Indexed keywords

ARCTIC ENGINEERING; LINGUISTICS; SOFTWARE DESIGN;

AND VERIFICATIONS; ASPECT-ORIENTED PROGRAMMING; ASPECT-ORIENTED PROGRAMMINGS; MODULAR REASONING; MODULAR REASONINGS; REASONING SYSTEMS; RELY-GUARANTEE;

TECHNICAL PRESENTATIONS;

EID: 57449107460     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1394496.1394499     Document Type: Conference Paper

References (39)

1. J. Aldrich. Open modules: Modular reasoning about advice. In Eur. Conf. Object-Oriented Programming, 2005.
2. E. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 2000.
3. C. Clifton and G. Leavens. Observers and assistants: A proposal for modular aspect-oriented reasoning. In Foundations of Aspect-Oriented Languages, 2002.
4. C. Clifton and G. Leavens. MiniMAO: Investigating the semantics of proceed. In Foundations of Aspect-Oriented Languages, 2005.
5. C. Clifton, G. Leavens, and J. Noble. Mao: Ownership and effects for more effective reasoning about aspects. In Eur. Conf. Object-Oriented Programming, 2007.
6. M. E. Conway. Design of a separable transition-diagram compiler. Commun. ACM, 1963.
7. D. Dantas and D. Walker. Harmless advice. In ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006.
8. 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., 2004.
9. B. Devereux. Compositional reasoning about aspects using alternating-time logic. In Foundations of Aspect-Oriented Languages, 2003.
10. R. Filman and D. Friedman. Aspect-oriented programming is quantification and obliviousness. In Advanced Separation of Concerns, 2000.
11. M. Goldman and S. Katz. Modular generic verification of LTL properties for aspects. In Foundations of Aspect-Oriented Languages, 2006.
12. W. Griswold, K. Sullivan, Y. Song, M. Shonle, N. Tewari, Y. Cai, and H. Rajan. Modular software design with crosscutting interfaces. IEEE Software, 2006.
13. S. Gudmundson and G. Kiczales. Addressing practical software development issues in AspectJ with a pointcut interface. In Advanced Separation of Concerns, 2001.
14. T. A. Henzinger, S. Qadeer, and S. K. Rajamani. You assume, we guarantee: Methodology and case studies. In International Conference on Computer Aided Verification, 1998.
15. C. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
16. D. Hoffman and R. Snodgrass. Trace specifications: Methodology and models. IEEE Transactions on Software Engineering, 1988.
17. R. Janicki and E. Sekerinski. Foundations of the trace assertion method of module interface specification. IEEE Transactions on Software Engineering, 2001.
18. C. B. Jones. Tentative steps toward a development method for interfering programs. ACM Transactions on Programming Languages and Systems, 1983.
19. R. Khatchadourian and N. Soundarajan. Rely-guarantee approach to reasoning about aspect-oriented programs. In Software Engineering Properties of Languages and Aspect Technologies, 2007.
20. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. Griswold. An overview of aspectj. In Eur. Conf. Object-Oriented Programming, 2001.
21. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J. Loingtier, and J. Irwin. Aspect oriented programming. In Eur. Conf. Object-Oriented Programming, 1997.
22. G. Kiczales and M. Mezini. Aspect-oriented programming and modular reasoning. In International Conference on Software Engineering, 2005.
23. S. Krishnamurthi, K. Fisler, and M. Greenberg. Verifying aspect advice modularly. In ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2004.
24. R. Laddad. AspectJ in Action. Manning, 2003.
25. K. Lieberherr, D. Lorenz, and J. Ovlinger. Aspectual collaborations: Combining modules and aspects. The Computer Journal, 2003.
26. M. Lippert and C. Lopes. A study on exception detection and handling using AOP. In International Conference on Software Engineering, 2002.
27. R. Lopez-Herrejon, D. Batory, and C. Lengauer. A disciplined approach to aspect composition. In ACM SIGPLAN symposium on partial evaluation and semantics-based program manipulation, 2006.
28. J. Misra and K. Chandy. Proofs of networks of processes. IEEE Transactions on Software Engineering, 1981.
29. K. Ostermann. Aspects and modular reasoning in nonmonotonic logic. In Foundations of Aspect-Oriented Languages, 2007.
30. K. Ostermann. Reasoning about aspects with common sense. In Int. Conf. Aspect-Oriented Software Development, 2008.
31. K. Ostermann, M. Mezini, and C. Bockisch. Expressive pointcuts for increased modularity. In Eur. Conf. Object-Oriented Programming, 2005.
32. S. Owicki and D. Gries. An axiomatic proof technique for parallel programs. Acta Informatica, 1976.
33. A. Rashid and R. Chitchyan. Persistence as an aspect. In Int. Conf. Aspect-Oriented Software Development, 2003.
34. M. Sihman and S. Katz. Superimpositions and aspect-oriented programming. The Computer Journal, 2003.
35. N. Soundarajan, R. Khatchadourian, and J. Dovland. Reasoning about the behavior of aspect-oriented programs. In IASTED Int. Conf. Softw. Eng. and Apps., 2007.
36. F. Steimann. The paradoxical success of aspect-oriented programming. In Conference on Object-Oriented Programming Systems, Languages, and Applications, 2006.
37. K. Sullivan, W. Griswold, Y. Song, Y. Cai, M. Shonle, N. Tewari, and H. Rajan. Information hiding interfaces for aspect-oriented design. In ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2005.
38. J. Xu, H. Rajan, and K. Sullivan. Aspect reasoning by reduction to implicit invocation. In Foundations of Aspect-Oriented Languages, 2004.
39. Q. Xu, W. de Roever, and J. He. Rely-guarantee method for verifying shared variable concurrent programs. Formal Aspects of Computing, 1997.