Aspect-oriented programming is very good at separating concerns, but a little less at combining them back together; some aspects are simply incompatible, causing unexpected behaviours when used together. To prevent such conflicts, a conservative approach is to construct sets of aspects which are provably guaranteed to be compatible with one another. Surprisingly, to establish that two aspects are compatible, it is enough to show that they yield the same result regardless of the order in which they are woven. This principle can be used to construct, extend and transform sets of useful and compatible aspects. / La programmation orientée aspect a atteint son objectif, la séparation des considérations. Une fois séparées, par contre, ces considérations ne se remboîtent pas toujours parfaitement; certaines, tout simplement incompatibles, se comportent de manière surprenante lorsqu'elles sont utilisées ensemble. Afin de prévenir ces conflits, une approche conservatrice consiste à définir des ensembles d'aspects pour lesquels nous avons la preuve qu'ils sont compatibles les uns avec les autres. Pour obtenir cette preuve, étonnament, il suffit de s'assurer que ces aspects produisent les mêmes effets, qu'ils soient tissés dans un ordre ou dans l'autre. Ce principe est à la base d'une série de preuves permettant de construire, d'étendre et de transformer des ensembles d'aspects à la fois utiles et compatibles.
Identifer | oai:union.ndltd.org:LACETR/oai:collectionscanada.gc.ca:QMM.92277 |
Date | January 2010 |
Creators | Gélineau, Samuel |
Contributors | Brigitte Pientka (Internal/Cosupervisor2), Jorg Andreas Kienzle (Internal/Supervisor) |
Publisher | McGill University |
Source Sets | Library and Archives Canada ETDs Repository / Centre d'archives des thèses électroniques de Bibliothèque et Archives Canada |
Language | English |
Detected Language | French |
Type | Electronic Thesis or Dissertation |
Format | application/pdf |
Coverage | Master of Science (School of Computer Science) |
Rights | All items in eScholarship@McGill are protected by copyright with all rights reserved unless otherwise indicated. |
Relation | Electronically-submitted theses. |
Page generated in 0.0084 seconds