Understanding aspects via implicit invocation

Proceedings - 19th International Conference on Automated Software Engineering, ASE 2004

Volumn , Issue , 2004, Pages 332-335

  Xu, Jia ^a   Rajan, Hridesh ^a   Sullivan, Kevin ^a  

^a University of Virginia   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ASPECT-ORIENTED PROGRAMMING (AOP); MODEL CHECKING; OBJECT INITIALIZATION; SOFTWARE DESIGN;

CODES (SYMBOLS); COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; COMPUTER SOFTWARE; ENCAPSULATION; SOFTWARE ENGINEERING;

OBJECT ORIENTED PROGRAMMING;

EID: 15844405488     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (25)

1. Aldrich, J., "Open Modules: A Proposal for Modular Reasoning in Aspect-Oriented Programming", FOAL 2004, Lancaster, UK, March 2004.
2. AspectJ: http://www.eclipse.org/aspectj.
3. Blair, L., Monga, M. "Reasoning on AspectJ Programmes", GI-AOSDG 2003 Essen, Germany.
4. Bradbury, J. S., Dingel, J.,"Evaluating and Improving the Automatic Analysis of Implicit Invocation Systems", ESEC/FSE 2003, Helsinki, Finland, Sept. 2003.
5. Clifton, C., and Leavens, G. T., "Observers and Assistants: A Proposal for Modular Aspect-Oriented Reasoning.", Technical Report TR#02-04, Department of Computer Science, Iowa State University, Mar 2002.
6. Corbett, J.C. et al., "Bandera: Extracting Finite State Models from Java Source Code", Proc ICSE 2000.
7. Devereux, B., "Compositional Reasoning About Aspects Using Alternating-time Logic", FOAL 2003.
8. Dingel, J., Garlan, D., Jha, S., Notkin, D., "Reasoning about Implicit Invocation", FSE-6, November 1998.
9. Filman R., and Friedman, D., "Aspect-oriented programming is quantification and obliviousness", In Proc. Workshop on Advanced Separation of Concerns, OOPSLA 2000.
10. Filman, R.E., Havelund, K., "Realizing Aspects by Transforming for Events." ASE Sept. 2002.
11. Garlan, D., Khersonsky, S., and Kim, J. S., "Model Checking Publish-Subscribe Systems", SPIN 03, Portland, Oregon, May 2003.
12. Garlan, D., and Notkin, D., "Formalizing Design Spaces: Implicit Invocation Mechanisms". VDM '91: Formal Software Development Methods, Oct. 1991.
13. Havelund, K., and Pressburger, T., "Model checking JAVA programs using JAVA pathfinder", International Journal on Software Tools for Technology Transfer, 2(4):366-381, 2000.
14. Kiczales, G. et al., "Aspect-oriented programming," ECOOP 1997, June 1997.
15. McMillan, K, "Cadence SMV, http://www-cad.eecs.berkeley.edu/ ~kenmcmil/smv/
16. C#: http://msdn.microsoft.com/net/ecma.
17. Notkin, D. et al., "Adding Implicit Invocation to Languages: Three Aproaches," Proc. JSSST Symp. Object Technologies for Advanced Software, Springer-Verlag LNCS 742, November 1993.
18. Rajan, H. and Sullivan, K., "Eos: Instance-Level Aspects for Integrated System Design", ESEC/FSE 03, Helsinki, Finland, Sept 2003.
19. Reiss, S.P., "Connecting Tools Using Message Passing in the Field Environment," IEEE Software, Jul. 1990.
20. Sihman, M. and Katz, S. Model Checking Applications of Aspects and Superimpositions, FOAL 2003.
21. SPIN, http://spinroot.com/spin/whatispin.html.
22. Sullivan, K., L. Gu, and Y. Cai, "Non-modularity in aspect-oriented languages: integration as a cross-cutting concern for AspectJ," Proceedings of AOSD 2002.
23. Sullivan, K. and Notkin, D., "Reconciling environment integration and software evolution," ACM Transactions on Software Engineering and Methodology 1, 3, July 1992, pp. 229-268.
24. Visser, W. et al., "Adding Active Objects to SPIN", Lecture Notes in Computer Science, Jul & Sept. 1999.
25. Walker, R. J. and Murphy, G. C., "Joinpoints as ordered events: towards applying implicit context to aspect-orientation", Workshop on Advanced Separation of Concerns at the 23nd ICSE, 2001.