Methodology for the derivation of product behaviour in a Software Product Line

Paul Istoan 1
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Résumé : Le principal problème abordé dans cette thèse est la définition d'une nouvelle méthodologie SPL qui couvre les deux phases du processus et met l'accent sur la dérivation de modèles comportementaux des produits. Le chapitre 2 définit le cadre de cette thèse : les lignes de produits logiciels, les processus opérationnels et l'ingénierie dirigé par les modèles. Dans le chapitre 3, nous proposons une nouvelle méthodologie SPL centrée sur la dérivation de comportement des produits. Nous décrivons d'abord le courant principal de la méthodologie, et ensuite les différentes étapes. Dans le chapitre 4, nous proposons un nouveau langage spécifique domaine appelé CBPF pour la modélisation des fragments de processus opérationnels. Une approche dirigée par les modèles est suivie pour créer CBPF: syntaxe abstraite, syntaxe concrète graphique et sémantique translationnelles. Dans le chapitre 5, nous proposons plusieurs types de vérifications applicables aux fragments afin de déterminer leur justesse. Pour la vérification structurelle, est définit un ensemble des règles de cohérence qui doivent être valides pour chaque fragment réalisé avec CBPF. Pour vérifier le comportement, nous transformons d'abord les fragments dans des réseaux de Pétri équivalents. On peut alors vérifier des propriétés génériques mais aussi définir des propriétés spécifiques. Dans le chapitre 6, nous illustrons la méthodologie proposée en l'appliquant à une étude de cas à partir du domaine système de gestion de crise. Nous proposons également une suite d'outils qui supporte notre méthodologie. Le chapitre 7 décrit les améliorations possibles et les extensions aux contributions de cette thèse. Nous concluons la thèse dans le chapitre 8.
Type de document :
Thèse
Other [cs.OH]. Université Rennes 1, 2013. English. <NNT : 2013REN1S013>
Liste complète des métadonnées


https://tel.archives-ouvertes.fr/tel-00925479
Contributeur : Abes Star <>
Soumis le : mercredi 8 janvier 2014 - 10:33:09
Dernière modification le : vendredi 13 janvier 2017 - 14:20:59
Document(s) archivé(s) le : mardi 8 avril 2014 - 22:30:46

Fichier

ISTOAN_Paul.pdf
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-00925479, version 1

Collections

Citation

Paul Istoan. Methodology for the derivation of product behaviour in a Software Product Line. Other [cs.OH]. Université Rennes 1, 2013. English. <NNT : 2013REN1S013>. <tel-00925479>

Partager

Métriques

Consultations de
la notice

329

Téléchargements du document

358