Interaction analysis in aspect-oriented models

Proceedings of the IEEE International Conference on Requirements Engineering

Volumn , Issue , 2006, Pages 66-75

  Mehner, Katharina ^a   Monga, Mattia ^b   Taentzer, Gabriele ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^b UNIVERSITY OF MILAN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

GRAPH THEORY; LIFE CYCLE; MATHEMATICAL MODELS; UNIFIED MODELING LANGUAGE;

ASPECT ORIENTED SEPARATION; GRAPH TRANSFORMATION SYSTEMS;

SOFTWARE ENGINEERING;

EID: 41149128960     PISSN: 1090705X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RE.2006.35     Document Type: Conference Paper

References (32)

1. AGG Homepage, http://tfs.cs.tu-berlin.de/agg.
2. J. Araújo and P. Coutinho. Identifying aspectual use cases using a viewpoint-oriented requirements method. In Early Aspects 2003: Aspect-Oriented Requirements Engineering and Architecture Design, Boston, MA, USA, March 2003.
3. J. Araújo, J. Whittle, and D.-K. Kim. Modeling and composing scenario-based requirements with aspects. In Proceedings of the 12th IEEE Int. Requirements Eng. Conf. CS-IEEE, 2004.
4. AspectJ Homepage", http://www.aspectj.org.
5. D. Balzarotti, A. Castaldo D'Ursi, L. Cavallaro, and M. Monga. Slicing AspectJ woven code. In Proceedings of the Foundations of Aspect-Oriented Languages workshop (FOAL2005), Chicago, IL (USA), March 2005.
6. J. Brichau, W. De Meuter, and K. De Voider. Jumping aspects. In Workshop "Aspects and Dimensions of Concerns", ECOOP 2000, Sophia Antipolis and Cannes, France, June 2000.
7. C. Clifton and G. T. Leavens. Obliviousness, modular reasoning, and the behavioral subtyping analogy,. Technical Report TR03-01a, Iowa State University, January 2003. presented at SPLAT 2003.
8. G. Denaro and M. Monga. An experience on verification of aspect properties. In T. Tamai, M. Aoyama, and K. Bennett, editors, Proceedings of the International Workshop on Principles of Software Evolution IWPSE 2001, pages 184-188, Vienna, Austria, September 2001. ACM.
9. R. Douence, P. Fradet, and M. Südholt. Composition, reuse, and interaction analisys of stateful aspects. In Proceedings of the 3rd international Conference of Aspect-oriented Software Development, Lancaster, UK, March 2004. ACM.
10. D. D'Souza and A. Wills. Components and Frameworks with UML: The Catalysis Approach. Addison Wesley, 1998.
11. H. Ehrig, K. Ehrig, U. Prange, and G. Taentzer. Fundamentals of Algebraic Graph Transformation. EATCS Monographs in TCS. Springer, 2005.
12. D. Coleman et al. Object Oriented Development, The Fusion Method. Prentice Hall, 1994.
13. R. Filman and D. Friedman. Aspect-oriented programming is quantification and obliviousness. In Proceedings of OOPSLA 2000 workshop on Advanced Separation of Concerns, 2000.
14. A. Finkelstein, J. Kramer, B. Nuseibeh, L. Finkelstein, and M. Goedicke. Viewpoints: A framework for integrating multiple perspectives in systems development. International Journal of Software Engineering and Knowledge Engineering, 1(2):31-58, 1992.
15. J.H. Hausmann, R. Heckel, and G. Taentzer. Detection of Conflicting Functional Requirements in a Use Case-Driven Approach. In Proc. of Int. Conference on Software Engineering 2002, Orlando, USA, 2002.
16. S. Herrmann, C. Hundt, and K. Mehner. Mapping Use Case Level Aspects to Object Teams/Java. In A. Moreira et. al, editor, OOPSLA Workshop on Early Aspects, 2004.
17. D. Jackson. Alloy: a lightweight object modelling notation. Software Engineering and Methodology, 11(2):256-290, 2002.
18. I. Jacobson and P-W Ng. Aspect-Oriented Software Development with Use Cases. Addison Wesley, 2005.
19. S. Katz. A Survey of Verification and Static Analysis for Aspects (AOSD-Europe Network of Excellence. http://www.aosd-europe.net.
20. S. Katz. Diagnosis of harmful aspects using regression verification. In G. T. Leavens, R. Lämmel, and C. Clifton, editors, Foundations of Aspect-Oriented Languages, March 2004.
21. K. Mehner and G. Taentzer. Supporting AspectOriented Modeling with Graph Transformations. In P Clements et al., editor, AOSD 05 Workshop on Early Aspects, 2005.
22. T. Mens, G. Taentzer, and O. Runge. Detecting Structural Refactoring Conflicts unsing Critical Pair Analysis. In R. Heckel and T. Mens, editors, Proc. Workshop on Software Evolution through Transformations (SETra'04), Satellite Event of ICGT'04, ENTCS, Rome, Italy, October 2004. Elsevier.
23. S. Nakajima and T. Tamai. Lightweight formal analysis of aspect-oriented models. In UML2004 Workshop on Aspect-Oriented Modeling, 2004.
24. A. Rashid, A. Moreira, and J. Araujo. Modularisation and composition of aspectual requirements. In Proc. AOSD'02, pages 11-20, Enschede, Netherlands, 2002. ACM Press.
25. A. Rashid, P. Sawyer, A. Moreira, and J. Araujo. Early aspects: A model for aspect-oriented requirements engineering. In Proc. IEEE Joint International Conference on Requirements Engineering, pages 199-202. IEEE Computer Society Press, 2002.
26. M. Rinard, A. Sǎlcianu, and S. Bugrara. A classification system and analysis for aspect-oriented programs. In Proceedings of SIGSOFT'04/FSE-12, pages 147-158, Newport Beach, CA, USA, 2004. ACM.
27. J. Sillito, C. Dutchyn, A. Eisenberg, and K. DeVoider. Use case level pointcuts. In Proc. ECOOP 2004, Oslo, Norway, June 2004.
28. C. R. Turner, A. Fuggetta, L. Lavazza, and A. L. Wolf. A conceptual basis for feature engineering. The Journal of Systems and Software, 49(1):3-15, December 1999.
29. N. Ubayashi and T. Tamai. Aspect-oriented programming with model checking. In AOSD 2002 (1st International Conference on Aspect-Oriented Software Development) Conference Proceedings, pages 148-154, Enschede, NL, April 2002.
30. UML Specification Version 1.5 (formal/03-03-01). Object Management Group, http://www.omg.org.
31. W Xu and D. Xu. A model-based approach to testing interactions between aspects and classes. In AOSD'05 Workshop on Testing Aspect-Oriented Programs, Chicago, 2005.
32. J. Zhao. Slicing aspect-oriented software. In Proceedings of the 10th IEEE International Workshop on Programming Comprehension, pages 251-260, June 2002.