A new domain specific language for generating and validating middleware configurations for highly available applications

Résumé

De nos jours, les services hautement disponibles prennent de plus en plus de place dans notre vie quotidienne et leur demande ne cesse d’augmenter. Cependant, mettre en place des systèmes hautement disponibles demeure une tâche très complexe pour la majorité des intégrateurs de systèmes puisqu’ils doivent les construire à partir de composants peu fiables. De plus, ils sont tenus responsables des impacts d’une éventuelle panne de service du système; dans certains cas, il s’agit de très grosses sommes d’argent alors que dans d’autres cas, la vie d’êtres humains peut être menacée. La haute disponibilité est un terme attribué à un système ou un service qui est disponible au moins 99.999% du temps. Les standards de l’industrie veulent qu’un pareil système soit basé sur un intergiciel spécialisé. Cet intergiciel doit gérer la redondance des composants du système et doit garantir leurs disponibilités. Cependant, la majorité de ces systèmes sont dépendants de leur plateforme et sont rarement de type source ouverte. Le forum sur la disponibilité des services (SAForum) définit des standards ouverts pour la construction d’un système hautement disponible utilisant leur intergiciel. Néanmoins, la nature de cette tâche reste très complexe et requiert beaucoup de temps sans pour autant réduire les chances de faire des erreurs. Cette situation est engendrée par la configuration complexe de l’intergiciel. Dans ce mémoire, nous présentons une solution pour automatiser la génération des fichiers de description concernant les types d’applications d’un système hautement disponible. Cette solution, basée sur l’approche précédente d’automatisation de la configuration, permet la génération automatique et de manière complète la configuration de l’intergiciel SAForum. Afin d’atteindre cet objectif, nous proposons une approche basée sur un nouveau langage spécifique au domaine de la haute disponibilité basé sur le diagramme de composant UML (component diagram). Cette approche inclut un ensemble de transformations de modèles et afin de vérifier l’approche, notre prototype est présenté au travers d’une étude de cas.

Date	6 oct. 2015
langue originale	Anglais américain
Établissement diplômant	École de technologie supérieure
Superviseur	Abdelouahed Gherbi (Directeur(-trice)) & Ali Kanso (Codirecteur(-trice))