Documents disponibles écrits par cet auteur

Modélisation et Contractualisation des Composants à Domaine Spécifique : Vers des Lignes de Produits de Confiance / Maryem RHANOUI

Public ISBD Titre : Modélisation et Contractualisation des Composants à Domaine Spécifique : Vers des Lignes de Produits de Confiance Type de document : thèse Auteurs : Maryem RHANOUI, Auteur Année de publication : 2015 Langues : Français (fre) Catégories : Informatique Mots-clés : Ligne de Produits Logiciels, Système à Base de Composants, Conception par Contrat, Feature-Oriented Domain Analysis, Ingénierie des Modèles Index. décimale : Doct/208 Résumé : L’ingénierie des lignes de produits logiciels est une nouvelle approche prometteuse en raison du rôle crucial qu'elle est appelée à jouer dans la construction de systèmes complexes à grande échelle. Afin de répondre aux normes de haute qualité, ces lignes de produits doivent se conformer à un ensemble d'exigences fonctionnelles et non fonctionnelles. En plus, le développement de tels systèmes étant soumis aux contraintes de productivité, il s’avère nécessaire de produire des applications sûres, extensibles et réutilisables. Cette thèse est donc une réflexion sur la qualité et la réutilisation des systèmes à base de composants à domaine spécifique dans le contexte d’une ligne de produits. Nous avons adopté une approche contractuelle pour l'analyse, la conception et l’implémentation des composants logiciels. Cette approche consiste à définir le comportement de chaque composant du système en termes de contrat spécifiant ses obligations et ses exigences par rapport au reste du système. Notre contribution, dans ce domaine, se résume comme suit : (i) Nous avons défini le concept de composant orienté feature (feature-oriented component), qui intègre la notion de variabilité dans les composants logiciels et permet d’assurer la traçabilité des exigences depuis leurs définitions dans les features jusqu’à leurs implémentations par les composants. (ii) Nous avons proposé le framework CONFORM qui inclut les éléments suivants : ï‚· Un processus dirigé par les modèles adapté pour le développement des lignes de produits logiciels contractualisées ; ï‚· Un langage dédié comme un mécanisme de spécification des exigences, contraintes et obligations des composants à différents niveaux de la ligne de produits. Ce mécanisme sera utilisé pour définir les exigences et le comportement du système en termes de contrats ; ï‚· Un profil UML pour modéliser efficacement les lignes de produits en intégrant les notions de variabilité, de commonalité et de contrat. Pour valider notre proposition, nous avons défini et implémenté DiabetesSM, une application e-santé à base de composants et à sécurité critique. L’étude de cas illustre les avantages de notre approche contractuelle dirigée par les modèles. En guise de perspectives, la gestion des propriétés non fonctionnelles et la négociation du contrat multiniveaux constituent les principales pistes de recherches à l’issue de notre travail. Modélisation et Contractualisation des Composants à Domaine Spécifique : Vers des Lignes de Produits de Confiance [thèse] / Maryem RHANOUI, Auteur . - 2015. Langues : Français (fre) Catégories : Informatique Mots-clés : Ligne de Produits Logiciels, Système à Base de Composants, Conception par Contrat, Feature-Oriented Domain Analysis, Ingénierie des Modèles Index. décimale : Doct/208 Résumé : L’ingénierie des lignes de produits logiciels est une nouvelle approche prometteuse en raison du rôle crucial qu'elle est appelée à jouer dans la construction de systèmes complexes à grande échelle. Afin de répondre aux normes de haute qualité, ces lignes de produits doivent se conformer à un ensemble d'exigences fonctionnelles et non fonctionnelles. En plus, le développement de tels systèmes étant soumis aux contraintes de productivité, il s’avère nécessaire de produire des applications sûres, extensibles et réutilisables. Cette thèse est donc une réflexion sur la qualité et la réutilisation des systèmes à base de composants à domaine spécifique dans le contexte d’une ligne de produits. Nous avons adopté une approche contractuelle pour l'analyse, la conception et l’implémentation des composants logiciels. Cette approche consiste à définir le comportement de chaque composant du système en termes de contrat spécifiant ses obligations et ses exigences par rapport au reste du système. Notre contribution, dans ce domaine, se résume comme suit : (i) Nous avons défini le concept de composant orienté feature (feature-oriented component), qui intègre la notion de variabilité dans les composants logiciels et permet d’assurer la traçabilité des exigences depuis leurs définitions dans les features jusqu’à leurs implémentations par les composants. (ii) Nous avons proposé le framework CONFORM qui inclut les éléments suivants : ï‚· Un processus dirigé par les modèles adapté pour le développement des lignes de produits logiciels contractualisées ; ï‚· Un langage dédié comme un mécanisme de spécification des exigences, contraintes et obligations des composants à différents niveaux de la ligne de produits. Ce mécanisme sera utilisé pour définir les exigences et le comportement du système en termes de contrats ; ï‚· Un profil UML pour modéliser efficacement les lignes de produits en intégrant les notions de variabilité, de commonalité et de contrat. Pour valider notre proposition, nous avons défini et implémenté DiabetesSM, une application e-santé à base de composants et à sécurité critique. L’étude de cas illustre les avantages de notre approche contractuelle dirigée par les modèles. En guise de perspectives, la gestion des propriétés non fonctionnelles et la négociation du contrat multiniveaux constituent les principales pistes de recherches à l’issue de notre travail.

Réservation

Réserver ce document

Exemplaires

Code barre	Cote	Support	Localisation	Section	Disponibilité
doct/208	Doct/208 MAR	Texte imprimé	unité des thèses	cedoc	Disponible