Design-level detection of interactions in Aspect-UML models using Alloy

Journal of Object Technology

Volumn 6, Issue 7, 2007, Pages 137-165

  Mostefaoui, Fanda ^a   Vachon, Julie ^a  

^a UNIVERSITÉ DE MONTRÉAL   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 34548653043     PISSN: None     EISSN: 16601769     Source Type: Journal    
DOI: 10.5381/jot.2007.6.7.a6     Document Type: Conference Paper

References (31)

1. G. Kiczales, J. Lamping, A. Mendhekar, Ch. Maeda, Ch. Lopes, J-M. Loingtier, and J. Irwin. Aspect-oriented programming. In ECOOP'97, LNCS, pages 220-242, 1997.
2. G. Leavens and C. Clifton, eds.: Foundations of aspect-oriented languagesworkshop. In In Leavens, G., Clifton, C., eds.: AOSD05. Volume 4, 2005.
3. J. Vachon and F. Mostefaoui. Achieving supplementary requirements using aspect-oriented development. In ICEIS, pages 584-587, 2004.
4. F. Mostefaoui and J. Vachon. Approche basée sur les réseaux de Petri pour la vérification de la composition dans les systèmes par aspects. RSTI - L'Objet, 12(2-3): 157-182, September 2006.
5. D. Jackson. Alloy: A leightweight object modelling notation. In MIT Laboratory for Computer Science: Cambridge, MA, 2000.
6. B. Bordbar and K. Anastasakis. UML2ALLOY: A tool for light-weight modelling of discrete event systems. In IADIS Applied Computing, 2005.
7. rd Workshop on Critical Systems Development with UML (CSDUML), 2004.
8. Object Management Group. UML: Superstructure, version 2.0, August 2005.
9. Alloy Homepage, http://alloy.mit.edu.
10. J.M. Spivey. The Z Notation. Prentice-Hall, 1992.
11. D. Jackson. Software Abstractions Logic, Language and Analysis. MIT Press, 2006.
12. F Mostefaoui and J. vachon. Formalization of an aspect-oriented modeling approach, (published online). In Formal Methods 2006, August 2006.
13. J. McCarthy. Situations, actions and causal laws. Semantic Information Processing, pages 410-417, 1968.
14. M. Vaziri and D. Jackson. Some shortcomings of OCL, the Object Constraint Language of UML. Response to OMGs Request for Information on UML 2.0", 1999.
15. A. Borgida, Mylopoulos J, and R. Reiter. On the frame problem in procedure specifications. Software Engineering, 21(10):785-798, 1995.
16. D. Gluch, S. Comella-Dorda, J. Hudak, G. Lewis, and C. Weinstock. Modelbased verificationscope, formalism, and perspective guidelines. Technical Report CMU/SEI-2001-TN-024 ADA396628, Software Engineering Institute, Carnegie Mellon University, Pittsburgh, PA, 2001.
17. O. Aldawud, A. Elrad, and A. Bader. A uml profile for aspect oriented software development. In Int. Workshop on AOP at Int. Conf. on AOSD'2003, 2003.
18. D. Stein, S. Hanenberg, and R. Unland. A UML-based aspect-oriented design notation for aspectj. In AOSD Conference, pages 106-112. ACM, 2002.
19. J.M. Jézéquel, N. Plouzeau, T. Weis, and K. Geihs. From contracts to aspects in uml. In Aspect-Oriented Modeling with UML Workshop at AOSD'02), 2002.
20. C. Clifton. A design discipline and language features for modular reasoning in aspect-oriented programs. PhD thesis, Iowa State University, IA, USA, 2005.
21. D. Sereni and O. de Moor. Static analysis of aspects. In spect-Oriented Software Development AOSD'03, pages 30-39, 2003.
22. M. Storzer and J. Krinke. Interference analysis for aspectj. In FOAL, 2003.
23. M Rinard, A. Salcianu, and S. Bugrara. A classification system and analysis for aspect-oriented programs. In FSE Conference, 2004.
24. rd Int. Conf. AOSD, pages 141-150, 2004.
25. D. Balzarotti, A. Castaldo, and M. Monga. Slicing aspectj woven code. In FOAL, 2005.
26. T. Nelson, D. Cowan, and P. Alencar. Supporting formal verification of crosscutting concerns. In REFLECTION, LNCS, vol.2192, pages 153-169, 2001.
27. S. Katz and M Sihman. Aspect validation using model checking. In International Symposium on Verification in honor of Zohar Manna, 2003.
28. J.C. Corbett, M.B. Dwyer, J. Hatcliff, and Robby. Bandera: a source-level interface for model checking java programs. In ICSE, 2000.
29. S. Krishnamurthi, K. Fisler, and M. Greenberg. Verifying aspect advice modularly. In SIGSOFT"04/FSE-12, 2004.
30. M. Goldman and S. Katz. Modular generic verification of LTL properties for aspects. In FOAL, held with AOSD Conference, 2006.
31. S. Nakajima and T. Tarnai. Lightweight formal analysis of aspect-oriented modelas. In Workshop on A sped-Oriented Modeling at UML'04, 2004.