Langues : English français
Accueil > Manifestations > Thèses et HDR > Thèses > Dong-Ha Nguyen

Dong-Ha Nguyen

Directeur de thèse

Pierre Cointe
Mario Südholt

Résumé

Actuellement, il n’existe que peu de systèmes qui exploitent des langages de
coupes basés sur des protocoles afin d’offrir des définitions d’aspects
déclaratifs et de permettre de raisonner sur des propriétés de programmes
orientés aspect. Par ailleurs, la plupart des approches à l’évolution des
logiciels basés sur des protocoles ne soutiennent que des protocoles réguliers
dont l’expressivité est limitée. L’objectif de cette thèse est de développer
un langage d’aspects qui est non seulement plus expressif, mais aussi favorable
à l’analyse et la vérification des propriétés compositionnelles. Notre langage
d’aspect adresse de ces limitations par un langage basé sur des protocoles non
réguliers ; nous fournissons, en outre, des techniques pour l’analyse des
propriétés des composants qui sont modifiés à l’aide du language.
Concrètement, cette thèse a donné lieu à quatre contributions principales.
Nous avons d’abord défini un langage d’aspects manipulant des protocoles
définis à l’aide d’automates à pile visible (APV). Ensuite, nous avons
appliqués ces aspects à l’analyse de propriétés compositionnelles fondamentales
d’interactions entre composants. Troisièmement, nous avons examiné la technique
de la vérification des modèles afin de vérifier les systèmes modifiés par des
aspects fondés sur des APV. Quatrièmement, nous avons utilisé les aspects APV
pour la définition des différentes fonctionnalités dans deux domaines
d’application différents : la gestion de sessions de connexion imbriquées, et
la gestion de requêtes dans les systèmes pair-à-pair.

Dernière modification : vendredi 14 octobre 2011