Skip to main content
SpringerLink
Log in

A Framework for the Detection and Resolution of Aspect Interactions

  • Conference paper
  • First Online:
Generative Programming and Component Engineering (GPCE 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2487))

Abstract

Aspect-Oriented Programming (AOP) promises separation of concerns at the implementation level. However, aspects are not always orthogonal and aspect interaction is an important problem. Currently there is almost no support for the detection and resolution of such interactions. The programmer is responsible for identifying interactions between conflicting aspects and implementing conflict resolution code. In this paper, we propose a solution to this problem based on a generic framework for AOP. The contributions are threefold: we present a formal and expressive crosscut language, two static conflict analyses and some linguistic support for conflict resolution.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J. H. Andrews. Process-algebraic foundations of aspect-oriented programming. In Reflection, pages 187–209, 2001.

    Google Scholar 

  2. D. Batory and B. J. Geraci. Composition Validation and Subjectivity in GenVoca Generators. IEEE Transactions on Software Engineering (special issue on Software Reuse), pages 62–87, February 1997.

    Google Scholar 

  3. H. Comon. Disunification: A survey. In Computational Logic: Essays in Honor of Alan Robinson. MIT Press, Cambridge, MA, 1991.

    Google Scholar 

  4. C. A. Constantinides, A. Bader, and T. Elrad. Separation of concerns in concurrent software systems. In International Workshop on Aspects and Dimensional Computing at ECOOP, 2000.

    Google Scholar 

  5. R. Douence, O. Motelet, and M. Südholt. A formal definition of crosscuts. In Proceedings of the 3rd International Conference on Reflection and Crosscutting Concerns, volume 2192 of LNCS. Springer Verlag, September 2001.

    Google Scholar 

  6. R. Douence, O. Motelet, and M. Südholt. Sophisticated crosscuts for e-commerce. ECOOP 2001 Workshop on Advanced Separation of Concerns, June 2001.

    Google Scholar 

  7. K. Gybels. Aspect-oriented programming using a logic meta programming language to express cross-cutting through a dynamic joinpoint structure.

    Google Scholar 

  8. G. Kiczales et al. Aspect-oriented programming. In Proc. of ECOOP, volume 1241 of LNCS, pages 220–242. Springer Verlag, 1997.

    Chapter  Google Scholar 

  9. G. Kiczales et al. An overview of Aspect J. In ECOOP, pages 327–353, 2001.

    Google Scholar 

  10. R. Lämmel. A semantics for method-call interception. In 1st Int. Conf. on Aspect-Oriented Software Development (AOSD’02), April 2002.

    Google Scholar 

  11. F. Nielson and H. R. Nielson. Semantics with Applications-A Formal Introduction. John Wiley and Sons, New York, NY, 1992.

    MATH  Google Scholar 

  12. K. De Volder. Aspect-oriented logic meta programming. In Pierre Cointe, editor, Meta-Level Architectures and Reflection, Second International Conference, Reflection’99, volume 1616 of LNCS, pages 250–272. Springer Verlag, 1999.

    Chapter  Google Scholar 

  13. M. Wand, G. Kiczales, and C. Dutchyn. A semantics for advice and dynamic join points in aspect-oriented programming. In FOOL 9, pages 67–88, January 2002.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. École des Mines de Nantes/Inria, Nantes, France

    Mario Südholt

  2. Irisa/Inria, Rennes, France

    Pascal Fradet

Authors
  1. Rémi Douence
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Pascal Fradet
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Mario Südholt
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Sciences, University of Texas at Austin, 2.124 Taylor Hall, TX, 78712, Austin, USA

    Don Batory

  2. Department of Telecommunications, ENSEIRB, University of Paris IV, 1, Ave. du Docteur Albert Schweitzer, 33402, Talence, France

    Charles Consel

  3. Department of Computer Science, Rice University, Mail Stop 132, 6100 S. Main Street, 77005-1892, Houston, Texas, USA

    Walid Taha

Rights and permissions

Reprints and permissions

Copyright information

© 2002 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Douence, R., Fradet, P., Südholt, M. (2002). A Framework for the Detection and Resolution of Aspect Interactions. In: Batory, D., Consel, C., Taha, W. (eds) Generative Programming and Component Engineering. GPCE 2002. Lecture Notes in Computer Science, vol 2487. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45821-2_11

Download citation

  • DOI: https://doi.org/10.1007/3-540-45821-2_11

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-44284-4

  • Online ISBN: 978-3-540-45821-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation