Programmation par aspects et tissage de propriétés : application à l'ordonnancement et à la disponibilité

par Stéphane Hong Tuan Ha

Thèse de doctorat en Informatique

Sous la direction de Pascal Fradet.

Soutenue en 2007

à Rennes 1 .


  • Résumé

    Cette thèse propose une nouvelle approche pour la programmation par aspects en considérant les aspects comme des propriétés sur les traces d’exécution. L'impact sémantique des aspects est maîtrisé puisque nos aspects ont pour unique effet de sélectionner ou de couper des traces d'exécution du programme de base. L'approche repose sur les automates (à états finis ou temporisés) : les programmes et les aspects sont encodés par des automates et le tissage est spécifié comme une opération de produit d'automates. Les contributions de cette thèse sont, d'une part, de proposer une approche originale et formelle où les aspects sont des propriétés et, d'autre part, d'appliquer cette approche à l'ordonnancement et la disponibilité. Les aspects d'ordonnancement spécifient des contraintes d'ordonnancement pour l'exécution de réseaux de composants. Les aspects de disponibilités spécifient des limites de temps ou de fréquence d'allocation des ressources pour prévenir les famines et les interblocages.

  • Titre traduit

    Aspect-oriented programming and weaving of properties : application to scheduling and availabilty


  • Résumé

    This thesis proposes a novel approach for aspect-oriented programming by considering aspects as properties on execution traces. The semantic impact of aspects remains under control as they are constrained to select or abort program execution traces. The approach relies on finite state or temporized automata : programs and aspects are described by automata and weaving as automata product. The contributions of this thesis are both an original and formal approach where aspects are trace properties and applying it to the domains of scheduling and availability. Scheduling aspects specify constraints on the execution of networks of components. They allow to specify and enforce availability policies in order to prevent deadlocks and starvations.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (IV-158 p.)
  • Notes : Publication autorisée par le jury

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Rennes 1. Service commun de la documentation. BU Beaulieu.
  • Disponible pour le PEB
  • Cote : TA RENNES 2007/187
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.