A graph-based approach to modeling and detecting composition conflicts related to introductions

ACM International Conference Proceeding Series

Volumn 208, Issue , 2007, Pages 85-95

  Havinga, Wilke ^a   Nagy, Istvan ^b   Bergmans, Lodewijk ^a   Aksit, Mehmet ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

^b ASML   (Netherlands)

Author keywords

AOP; Aspect composition; Aspect interactions; Aspect interference; Conflict detection; Conflict modeling; Graph rewrite systems; Introductions

Indexed keywords

CODES (SYMBOLS); COMPUTER SIMULATION; JAVA PROGRAMMING LANGUAGE; MATHEMATICAL MODELS;

ASPECT COMPOSITION; ASPECT INTERACTIONS; ASPECT INTERFERENCE; CONFLICT DETECTION; CONFLICT MODELING; GRAPH REWRITE SYSTEMS;

GRAPH THEORY;

EID: 34548281607     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1218563.1218574     Document Type: Conference Paper

References (18)

1. U. Aßmann and A. Ludwig. Aspect weaving with graph rewriting. In Proceedings of the First International Symposium on Generative and Component-Based Software Engineering (GCSE '99), pages 24-36, London, UK, 2000. Springer-Verlag.
2. A. Colyer. AspectJ. In R. E. Filman, T. Elrad, S. Clarke, and M. Akşit, editors, Aspect-Oriented Software Development, pages 123-143. Addison-Wesley, Boston, 2005.
3. R. Douence, P. Fradet, and M. Südholt. Composition, reuse and interaction analysis of stateful aspects. In K. Lieberherr, editor, Proc. 3rd Int' Conf. on Aspect-Oriented Software Development (AOSD-2004), pages 141-150. ACM Press, Mar. 2004.
4. P. Durr, L. Bergmans, and M. Aksit. Reasoning about semantic conflicts between aspects. In Proceedings of ADI'06 Aspects, Dependencies, and Interactions Workshop, pages 10-18. Lancaster University, Lancaster University, Jul 2006.
5. Groove homepage, http://groove.sf.net.
6. Groove model generator for the detection of conflicts, http://trese.cs.utwente.nl/~havingaw/groove_conflict_detection.
7. J. Hannemann and G. Kiczales. Design pattern implementation in Java and AspectJ. In Proceedings of the 17th ACM conference on Object-oriented programming, systems, languages, and applications, pages 161-173. ACM Press, 2002.
8. W. Havinga, I. Nagy, L. Bergmans, and M. Aksit. Detecting and Resolving Ambiguities caused by Inter-dependent Introductions. In Proceedings of 5th International Conference on Aspect-Oriented Software Development, pages 214-225. ACM, 2006.
9. R. C. Holt, A. Winter, and A. Schürr. GXL: Toward a Standard Exchange Format. In Proceedings of the 7th Working Conference on Reverse Engineering (WCRE 2000), pages 162-171, Los Alamitos, 2000. IEEE Computer Society.
10. Java 2 Platform Standard ed. API Documentation, http://java.sun.com/j2se/ 1.5.0/docs/api/.
11. S. Katz. Diagnosis of harmful aspects using regression verification. In C. Clifton, R. Lämmel, and G. T. Leavens, editors, FOAL: Foundations Of Aspect-Oriented Languages, pages 1-6, Mar. 2004.
12. B. Kessler and É. Tanter. Analyzing interactions of structural aspects. In Workshop on Aspects, Dependencies and Interactions @ ECOOP 2006, July 2006.
13. G. Kniesel and U. Bardey. An Analysis of the Correctness and Completeness of Aspect Weaving. In Proceedings of IEEE Working Conference on Reverse Engineering (WCRE 2006). IEEE Computer Society, 2006.
14. I. Nagy. On the Design of Aspect-Oriented. Composition Models for Software Evolution. PhD thesis, University of Twente, June 2006.
15. I. Nagy, L. Bergmans, W. Havinga, and M. Aksit. Utilizing design information in aspect-oriented programming. In A. P. Robert Hirschfeld, Ryszard Kowalczyk and M. Weske, editors, Proceedings of International Conference NetObjectDays, NODe2005, volume P-69 of Lecture Notes in Informatics, Erfurt, Germany, Sep 2005. Gesellschaft für Informatik (GI).
16. M. E. Nordberg III. Aspect-oriented dependency management. In R. E. Filman, T. Elrad, S. Clarke, and M. Akşit, editors, Aspect-Oriented Software Development, pages 557-584. Addison-Wesley, Boston, 2005.
17. A. Rensink. The GROOVE simulator: A tool for state space generation. In J. Pfalz, M. Nagl, and B. Bohlen, editors, Applications of Graph Transformations with Industrial Relevance (AGTIVE), volume 3062 of Lecture Notes in Computer Science, pages 479-485. Springer-Verlag, 2004.
18. M. Rinard, A. Salcianu, and S. Bugrara. A classification system and analysis for interactions in aspect-oriented programs. In Foundations of Software Engineering (FSE), pages 147-158. ACM, Oct. 2004.