Detecting and resolving ambiguities caused by inter-dependent introductions

Wilke Havinga, Istvan Nagy, Lodewijk Bergmans, Mehmet Akşit

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

11 Citations (Scopus)
6 Downloads (Pure)

Abstract

AOP languages are continuously evolving, for example (1) pointcut languages are becoming increasingly powerful with respect to the expressiveness of the pointcut language itself, (2) new program properties can be used as a selection criterion in pointcut designators, or (3) new types of program elements can be introduced by means of a crosscut specification. In this paper we investigate the consequences of these trends. To this end, we focus particularly on the usage of meta-data annotations: several recent (versions of) AOP languages support the use of annotations as a selection criterion in pointcut designators or the introduction of annotations, or both. We investigate the introduction of annotations through the use of expressive pointcut languages; explain why introduction of annotations is useful, and in particular, why and how annotations can be derived from other annotations. We explore the issues that arise due to the inter-dependencies between annotation introductions. We investigate when such dependencies may cause ambiguities, and we present an algorithm that resolves the dependencies when possible, and detects ambiguous cases that cannot be resolved. The solution we propose is implemented within the Compose* tool, which supports the introduction of meta-data annotations.
Original languageEnglish
Title of host publicationAOSD '06
Subtitle of host publicationProceedings of the 5th International Conference on Aspect-Oriented Software Development
Place of PublicationNew York, NY
PublisherACM Press
Pages214-225
Number of pages12
ISBN (Print)1-59593-300-X
DOIs
Publication statusPublished - 2006
Event5th International Conference on Aspect-Oriented Software Development, AOSD 2006 - Bonn, Germany
Duration: 20 Mar 200624 Mar 2006
Conference number: 5

Conference

Conference5th International Conference on Aspect-Oriented Software Development, AOSD 2006
Abbreviated titleAOSD
CountryGermany
CityBonn
Period20/03/0624/03/06

Fingerprint

Metadata
Specifications

Keywords

  • EWI-8904
  • IR-57963
  • METIS-237856

Cite this

Havinga, W., Nagy, I., Bergmans, L., & Akşit, M. (2006). Detecting and resolving ambiguities caused by inter-dependent introductions. In AOSD '06: Proceedings of the 5th International Conference on Aspect-Oriented Software Development (pp. 214-225). New York, NY: ACM Press. https://doi.org/10.1145/1119655.1119684
Havinga, Wilke ; Nagy, Istvan ; Bergmans, Lodewijk ; Akşit, Mehmet . / Detecting and resolving ambiguities caused by inter-dependent introductions. AOSD '06: Proceedings of the 5th International Conference on Aspect-Oriented Software Development. New York, NY : ACM Press, 2006. pp. 214-225
@inproceedings{f9ef4f3de5d84a80bcb0e8d91422d0e1,
title = "Detecting and resolving ambiguities caused by inter-dependent introductions",
abstract = "AOP languages are continuously evolving, for example (1) pointcut languages are becoming increasingly powerful with respect to the expressiveness of the pointcut language itself, (2) new program properties can be used as a selection criterion in pointcut designators, or (3) new types of program elements can be introduced by means of a crosscut specification. In this paper we investigate the consequences of these trends. To this end, we focus particularly on the usage of meta-data annotations: several recent (versions of) AOP languages support the use of annotations as a selection criterion in pointcut designators or the introduction of annotations, or both. We investigate the introduction of annotations through the use of expressive pointcut languages; explain why introduction of annotations is useful, and in particular, why and how annotations can be derived from other annotations. We explore the issues that arise due to the inter-dependencies between annotation introductions. We investigate when such dependencies may cause ambiguities, and we present an algorithm that resolves the dependencies when possible, and detects ambiguous cases that cannot be resolved. The solution we propose is implemented within the Compose* tool, which supports the introduction of meta-data annotations.",
keywords = "EWI-8904, IR-57963, METIS-237856",
author = "Wilke Havinga and Istvan Nagy and Lodewijk Bergmans and Mehmet Akşit",
year = "2006",
doi = "10.1145/1119655.1119684",
language = "English",
isbn = "1-59593-300-X",
pages = "214--225",
booktitle = "AOSD '06",
publisher = "ACM Press",

}

Havinga, W, Nagy, I, Bergmans, L & Akşit, M 2006, Detecting and resolving ambiguities caused by inter-dependent introductions. in AOSD '06: Proceedings of the 5th International Conference on Aspect-Oriented Software Development. ACM Press, New York, NY, pp. 214-225, 5th International Conference on Aspect-Oriented Software Development, AOSD 2006, Bonn, Germany, 20/03/06. https://doi.org/10.1145/1119655.1119684

Detecting and resolving ambiguities caused by inter-dependent introductions. / Havinga, Wilke; Nagy, Istvan; Bergmans, Lodewijk; Akşit, Mehmet .

AOSD '06: Proceedings of the 5th International Conference on Aspect-Oriented Software Development. New York, NY : ACM Press, 2006. p. 214-225.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - Detecting and resolving ambiguities caused by inter-dependent introductions

AU - Havinga, Wilke

AU - Nagy, Istvan

AU - Bergmans, Lodewijk

AU - Akşit, Mehmet

PY - 2006

Y1 - 2006

N2 - AOP languages are continuously evolving, for example (1) pointcut languages are becoming increasingly powerful with respect to the expressiveness of the pointcut language itself, (2) new program properties can be used as a selection criterion in pointcut designators, or (3) new types of program elements can be introduced by means of a crosscut specification. In this paper we investigate the consequences of these trends. To this end, we focus particularly on the usage of meta-data annotations: several recent (versions of) AOP languages support the use of annotations as a selection criterion in pointcut designators or the introduction of annotations, or both. We investigate the introduction of annotations through the use of expressive pointcut languages; explain why introduction of annotations is useful, and in particular, why and how annotations can be derived from other annotations. We explore the issues that arise due to the inter-dependencies between annotation introductions. We investigate when such dependencies may cause ambiguities, and we present an algorithm that resolves the dependencies when possible, and detects ambiguous cases that cannot be resolved. The solution we propose is implemented within the Compose* tool, which supports the introduction of meta-data annotations.

AB - AOP languages are continuously evolving, for example (1) pointcut languages are becoming increasingly powerful with respect to the expressiveness of the pointcut language itself, (2) new program properties can be used as a selection criterion in pointcut designators, or (3) new types of program elements can be introduced by means of a crosscut specification. In this paper we investigate the consequences of these trends. To this end, we focus particularly on the usage of meta-data annotations: several recent (versions of) AOP languages support the use of annotations as a selection criterion in pointcut designators or the introduction of annotations, or both. We investigate the introduction of annotations through the use of expressive pointcut languages; explain why introduction of annotations is useful, and in particular, why and how annotations can be derived from other annotations. We explore the issues that arise due to the inter-dependencies between annotation introductions. We investigate when such dependencies may cause ambiguities, and we present an algorithm that resolves the dependencies when possible, and detects ambiguous cases that cannot be resolved. The solution we propose is implemented within the Compose* tool, which supports the introduction of meta-data annotations.

KW - EWI-8904

KW - IR-57963

KW - METIS-237856

U2 - 10.1145/1119655.1119684

DO - 10.1145/1119655.1119684

M3 - Conference contribution

SN - 1-59593-300-X

SP - 214

EP - 225

BT - AOSD '06

PB - ACM Press

CY - New York, NY

ER -

Havinga W, Nagy I, Bergmans L, Akşit M. Detecting and resolving ambiguities caused by inter-dependent introductions. In AOSD '06: Proceedings of the 5th International Conference on Aspect-Oriented Software Development. New York, NY: ACM Press. 2006. p. 214-225 https://doi.org/10.1145/1119655.1119684