Programmation par aspects et tissage de propriétés : application à l'ordonnancement et à la disponibilité
Institution:
Rennes 1Disciplines:
Directors:
Abstract EN:
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.
Abstract FR:
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.