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é
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.