Aspect-Oriented Programming with Model Checking

1st International Conference on Aspect-Oriented Software Development

Volumn , Issue , 2002, Pages 148-154

  Ubayashi, Naoyasu ^a   Tamai, Tetsuo ^b  

^a TOSHIBA CORPORATION   (Japan)

^b UNIVERSITY OF TOKYO   (Japan)

Author keywords

Checking frameworks; Model checking; Validation

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; CONCURRENCY CONTROL; FINITE AUTOMATA; PROGRAM COMPILERS; SYNCHRONIZATION; SYSTEMS ANALYSIS;

MODEL CHECKING;

OBJECT ORIENTED PROGRAMMING;

EID: 0141761303     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/508386.508405     Document Type: Conference Paper

References (22)

1. Aksit, M. and Tripathi, A.: Data Abstraction Mechanisms in Sina/ST, Proc. OOPSLA '88, pp.265-275, 1988.
2. AspectJ. http://aspectj.org/.
3. The Aspect J Programming Guide, 2001.
4. Bandera. http://www.cis.ksu.edu/ santos/bandera/.
5. Beck, K.: Extreme Programming Explained: Embrace Change, Addison-Wesley, 1999.
6. Clarke, E., Grumberg, O., and Peled, D.: Model Checking, The MIT Press, 1999.
7. Corbett, J.C., Dwyer, M.B., Hatcliff, J., Laubach, S., Pasareanu, C.S., and Zheng, H.: Bandera: Extracting Finite-state Models from Java Source Code, Proc. ICSE 2000, 2000.
8. Czarnecki, K. and Eisenecker, U.W.: Generative Programming, Addison-Wesley, 2000.
9. Demeter Project. http://www.ccs.neu.edu/research/demeter/.
10. Elrad, T., Filman, R.E. and Bader A.: Aspect-oriented programming, Communications of the ACM, vol.44, no.10, pp.29-32, 2001.
11. Harrison, W. and Ossher, H.: Subject-oriented Programming, Proc. OOPSLA'93, pp.411-428, 1993.
12. Havelund, K.: Java PathFinder User Guide, 1999.
13. Holzmann, G.J. and Smith, M.H.: The Model Checker SPIN, IEEE trans. SE, vol.23, no.5, pp.279-295, 1997.
14. Jackson, D.: Aloca: the alloy constraint analyzer, Proceedings of ICSE 2000, 2000.
15. Kendall, E.A.: Role Model Designs and Implementations with Aspect-oriented Programming, Proc. OOPSLA '99, pp.353-369, 1999.
16. Kiczales, G., Lamping, J., Mendhekar A., Maeda, C., Lopes, C., Loingtier, J. and Irwin, J.: Aspect-Oriented Programming, Proc. ECOOP'97, Lecture Notes in Computer Science, Springer, vol.1241, pp.220-242, 1997.
17. McMillan, K.L.: Symbolic Model Checking: An Approach to the State Explosion Problem, Kluwer Academic, 1993.
18. Meyer, B.: Object-Oriented Software Construction, 2nd Edition, Prentice Hall, 2000.
19. Nelson, T., Cowan, D. and Alencar, P.: Supporting Formal Verification of Crosscutting Concerns, Proc. REFLECTION 2001. Lecture Notes in Computer Science, Springer, vol.2192, pp.153-169, 2001.
20. K. Rustan M. Leino, Greg Nelson, and James B. Saxe: ESC/Java User's Manual, 2000.
21. Tamai, T.: Objects and roles: modeling based on the dualistic view, Information and Software Technology, Vol.41, No.14, pp.1005-1010, 1999.
22. Ubayashi, N. and Tamai, T.: Separation of Concerns in Mobile Agent Applications, Proc. REFLECTION 2001, Lecture Notes in Computer Science, Springer, vol.2192. DD.89-109. 2001.