Praxis : detection of inconsistency within distributed models

par Alix Mougenot

Thèse de doctorat en Sciences pour l'ingénieur

Sous la direction de Marie-Pierre Gervais.

Soutenue en 2010

à Paris 6 .

  • Titre traduit

    Détection des incohérences dans les modèles distribués


  • Résumé

    Les projets logiciels de taille industriels sont développés par centaines de développeurs travaillant sur des centaines de modèles de types différents. La complexité de ces modèles couplés au fait qu’ils soient souvent maintenus par des développeurs différents est une source connue d'incohérences pouvant causer l'échec de la modélisation. La détection de ces incohérences consiste à analyser les modèles pour y détecter les configurations non souhaitables. Cette thèse traite le problème de la détection des incohérences lors du développement collaboratif des modèles. Notre approche, Praxis, représente les modèles par une séquence d'actions unitaires le construisant. Cette représentation séquentielle permet de façon uniforme des incohérences entre des modèles de différentes natures. Praxis exploite cette représentation pour rendre la détection d'incohérence incrémentale. Cette détection incrémentale est suffisamment efficace pour donner un retour instantané au développer. Praxis est également à la base d'un protocole pair-à-pair pour l'édition collaborative de modèles. Ce protocole utilise les actions unitaires de Praxis pour la communication entre les sites d'édition. Praxis propose également un détecteur d'incohérence réparti. Ce détecteur a pour but de détecter les incohérences dans les modèles édités collaborativement. Les performances de Praxis ont étés validées grâce à une benchmark composée de modèles issus de cas d'études et de 1400 modèles provenant d'un générateur mathématiquement fondé. Cette benchmark utilise 56 règles représentatives provenant de la spécification d'UML. La validation a montré que Praxis est efficace et peux prendre en charge de très gros modèles


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (127 p.)
  • Annexes : Bibliogr. p. 117-122. 69 réf. bibliogr.

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie. Section Biologie-Chimie-Physique Recherche.
  • Consultable sur place dans l'établissement demandeur
  • Cote : T Paris 6 2010 490
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.