Thèse soutenue

Programmation par aspects et tissage de propriétés : application à l'ordonnancement et à la disponibilité
FR  |  
EN
Accès à la thèse
Auteur / Autrice : Stéphane Hong Tuan Ha
Direction : Pascal Fradet
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 2007
Etablissement(s) : Rennes 1

Résumé

FR  |  
EN

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.