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

Turenne, Maxime (2015). A new domain specific language for generating and validating middleware configurations for highly available applications. Mémoire de maîtrise électronique, Montréal, École de technologie supérieure.

Prévisualisation

PDF Télécharger (4MB) | Prévisualisation

Résumé

Nowadays, highly available services are becoming a part of our everyday life and the demand for them tends to always increase as we saw in the recent years. However, building highly available systems remains a challenging task for most system integrators who are expected to build reliable systems from none-reliable components. They have to deal with the constant pressure of the money lost in case of unplanned outages and in other cases; the consequences of such outages can threaten the life of humans.

Highly available is a characteristic given to a system/service that is available 99.999% of the time. The standard in the industry for achieving such availability with a system is to build it on a specialized middleware. Such middleware will manage the redundancy of the components and will ensure their availability. On the other hand, the majority of those systems are platform-dependent and mostly proprietary.

The service availability forum (SAForum) defines open standards for building and maintaining HA systems using the SAForum middleware. Nevertheless, this task remains tedious and error prone due to the complexity of this middleware configuration. In this thesis, we present a solution to automate the generation of description files for HA systems, which enables the automated generation of the middleware configuration of the previous approach. In order to achieve this objective, we propose an approach based on a new domain specific language extending the UML component diagrams, along with a corresponding set of model transformations. We also present our prototype implementation and a case study as a proof of concept verifying the approach.

Titre traduit

Un nouveau langage spécifique au domaine des intergiciels de système hautement disponible pour générer et valider leur configuration

Résumé traduit

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.

Type de document:	Mémoire ou thèse (Mémoire de maîtrise électronique)
Renseignements supplémentaires:	"Thesis presented to École de technologie supérieure in partial fulfillement [i.e. fulfillment] of the requirements for a master's degree with thesis in information technology engineering". Bibliographie : pages 75-76.
Mots-clés libres:	Middleware. Disponibilité (Organisation) Architecture logicielle guidée par modèle. UML (Informatique) Logiciels Normes. haute disponibilité, ingénierie dirigée par les modèles, langage de modélisation unifié (UML), diagramme de composants UML, standards SAForum
Directeur de mémoire/thèse:	Directeur de mémoire/thèse Gherbi, Abdelouahed
Codirecteur:	Codirecteur Kanso, Ali
Programme:	Maîtrise en ingénierie > Génie des technologies de l'information
Date de dépôt:	27 nov. 2015 16:26
Dernière modification:	10 déc. 2016 17:05
URI:	https://espace.etsmtl.ca/id/eprint/1563

Gestion Actions (Identification requise)

Dernière vérification avant le dépôt