Soutenance de thèse Gwendal JOUNEAUX (DiverSE) - le 09/09/2024 à 14h00 en salle Petri-Turing

Vous êtes cordialement invités à la soutenance de thèse de Gwendal JOUNEAUX (DiverSE) qui aura lieu le lundi  9 septembre 2024 à 14h00 en salle Pétri Turing.

ATTENTION dans le cadre du plan VIGIPIRATE la règle suivante s'applique pour cet évènement :
L’accès du public à cette soutenance est contraint à une inscription préalable obligatoire auprès de : sophie [*] maupileirisa [*] fr

L’accès ne sera pas autorisé sans inscription préalable. Par ailleurs, les visiteurs ne porteront ni bagage ni sac.

Titre : Self-Adaptable Operational Semantics

Résumé : 

De nos jours, les logiciels sont omniprésents, qu'il s'agisse d'ordinateurs ou d'appareils ménagers intelligents.

L'aspect comportemental de ces systèmes est réalisé par des logiciels complexes.

Cette complexité logicielle peut être classée en deux catégories : Essentielle et Accidentelle.

L'Ingénierie Dirigée par les Modèles (IDM) est une discipline utilisant des modèles pour gérer la complexité essentielle et réduire la complexité accidentelle.

Une partie de l'IDM consiste à développer des langages dédiés pour définir ces modèles avec un niveau d'abstraction approprié au domaine.

L'ingénierie des langages est un domaine du génie logiciel qui émerge des préoccupations liées aux langages dédiés.

Conformément à l'affirmation selon laquelle "Les langages logiciels sont aussi des logiciels", cette communauté se concentre à fournir des outils et méthodes pour faciliter le développement du type de logiciel que sont les langages dédiés.

Le contexte de cette thèse se situe à la croisée de ces domaines.

Les systèmes logiciels évoluent désormais dans des environnements complexe et changeant, nécessitant une auto-adaptation dynamique pour fournir au mieux les services.

La communauté des systèmes auto-adaptatifs a fourni au fil du temps de nombreux cadriciels et modèles architecturaux pour répondre à cette préoccupation.

Toutefois, lorsque l'auto-adaptation est une préoccupation secondaire et ne relève donc pas du domaine d'expertise des spécialistes, les modèles architecturaux ne fournissent généralement pas de soutien et les cadriciels sont limités aux langages pour lesquels ils ont été conçus.

Dans le contexte des langages dédiés, la réimplémentation de ces cadriciels serait d'une complexité prohibitive.

De cette observation découle la question de recherche suivante : "Comment abstraire le problème de l'auto-adaptation pour les utilisateurs de langages dédiés lorsqu'il s'agit d'une préoccupation secondaire, mais importante?"

Pour répondre à ce problème, nous proposons le concept de langages auto-adaptables.

Les langages auto-adaptables abstraient l'auto-adaptation dans des constructions de langage de haut niveau.

Dans cette thèse, nous nous concentrons sur la sémantique opérationnelle auto-adaptable.

Dans ce contexte, deux défis sont à surmonter : (1) "Comment spécifier et dériver une implémentation d'une sémantique opérationnelle auto-adaptable pour permettre le raisonnement et de vérifier des propriétés, sans impact sur les performances?" et (2) "Quelles sont les constructions pertinentes pour implémenter une sémantique opérationnelle auto-adaptable?".

Nous relevons le premier défi grâce à notre première contribution : Adaptive Structural Operational Semantics (ASOS).

ASOS est un métalangage conçu pour spécifier et raisonner sur des sémantiques opérationnelles auto-adaptables.

Basé sur ce métalangage, nous fournissons à la fois une sémantique formelle pour le raisonnement et une sémantique translationnelle générant une implémentation de la sémantique spécifiée.

Le deuxième défi est relevé par le cadriciel SElf-Adaptable LanguageS (SEALS), notre deuxième contribution.

SEALS est un cadriciel qui fournit des abstractions aidant la création du langage (syntaxe abstraite et sémantique) et à concevoir la boucle de rétroaction et les adaptations.

Nous évaluons, entre autres, l'applicabilité de l'approche et les performances de l'implémentation sur trois langages : RobLANG, HTML et MiniJava.

Pour les deux contributions, nous démontrons la capacité d'effectuer des adaptations pertinentes au niveau du langage sans écueils de performance.