Towards expressive, well-founded and correct Aspect-Oriented Programming

Mario Südholt 1, 2
1 OBASCO - Objects, aspects and components
Mines Nantes - Mines Nantes, Inria Rennes – Bretagne Atlantique
Abstract : This thesis aims at two different goals. First, a uniform presentation of the major relevant research results on EAOP-based expressive aspects. We motivate that these instantiations enable aspects to be defined more concisely and provide better support for formal reasoning over AO programs than standard atomic approaches and other proposed non-atomic approaches. Concretely, four groups of results are presented in order to substantiate these claims: 1. The EAOP model, which features pointcuts defined over the execution history of an underly- ing base program. We present a taxonomy of the major language design issues pertaining to non-atomic aspect languages, such as pointcut expressiveness (e.g., finite-state based, turing- complete) and aspect composition mechanisms (e.g., precedence specifications vs. turing- complete composition programs). 2. Support for the formal definition of aspect-oriented programming based on different seman- tic paradigms (among others, operational semantics and denotation semantics). Furthermore, we have investigated the static analysis of interactions among aspects as well as applicability conditions for aspects. The corresponding foundational work on AOP has also permitted to investigate different weaver definitions that generalize on those used in other approaches. 3. Several instantiations of the EAOP model for aspects concerning sequential program execu- tions, in particular, for component-based and system-level programming. The former has re- sulted in formally-defined notions of aspects for the modification of component protocols, while the latter has shown, in particular that expressive aspects can be implemented in a performance- critical domain with negligible to reasonable overhead. 4. Two instantiations of the EAOP model to distributed and concurrent programming that signifi- cantly increase the abstraction level of aspect definitions by means of domain-specific abstrac- tions.
Type de document :
HDR
Software Engineering [cs.SE]. Université de Nantes, 2007
Liste complète des métadonnées

Littérature citée [126 références]  Voir  Masquer  Télécharger

https://tel.archives-ouvertes.fr/tel-00486842
Contributeur : Mario Südholt <>
Soumis le : jeudi 27 mai 2010 - 00:55:49
Dernière modification le : mercredi 5 décembre 2018 - 01:22:13
Document(s) archivé(s) le : jeudi 16 septembre 2010 - 15:50:31

Fichier

Identifiants

  • HAL Id : tel-00486842, version 1

Citation

Mario Südholt. Towards expressive, well-founded and correct Aspect-Oriented Programming. Software Engineering [cs.SE]. Université de Nantes, 2007. 〈tel-00486842〉

Partager

Métriques

Consultations de la notice

664

Téléchargements de fichiers

305