Ban lãnh đạo nghiên cứu : Marie-Pierre GERVAIS

Đồng hướng dẫn : BLANC Xavier

Praxis: Détection des incohérences dans les modèles répartis

Les projets logiciels de taille industriels sont développés par centaines de développeurs travaillant sur des centaines de modèles de différents types (e.g. SysML, UML, Petri nets, workflow and business process). De plus, les procédés de développement centrés sur la modélisation demandent de plus en plus d'itérations avant l'obtention des modèles correctement implémentés. La complexité intrinsèque de ces modèles couplés au fait qu’ils soient souvent maintenus par des développeurs différents est une source d'incohérences. Le problème étant que même la plus petite des incohérences peut engendrer l'échec de la modélisation. Sous de telles conditions, la détection des incohérences, qui consiste à analyser les modèles pour trouver ces configurations non souhaitables, gagne une importance toute particulière. 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 peux représenter de façon uniforme n'importe quelle instance de métamodèle, permettant de détecter 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 tourner en tache de fond d'un éditeur de modèle, donnant ainsi un retour instantané au développer du modèle. 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 qui utilise le protocole pair-à-pair. Ce détecteur réparti a pour but de détecter les incohérences parmi les modèles édités collaborativement. Les performances de Praxis ont étés validées grâce à une benchmark basé à la fois sur des données venant d'un cas d'étude et sur des données provenant d'un générateur de modèles mathématiquement fondé. Les tests utilisés pour la benchmark utilisent 56 règles représentatives provenant de la spécification d'UML, ainsi qu'un ensemble de modèles UML contenant 1 400 modèles de classe. La validation a montré que Praxis est efficace et peux prendre en charge de très gros modèles.

Bài báo khoa học 2008-2010

• 2010
  • A. Mougenot : “Praxis: Détection des incohérences dans les modèles répartis”, luận án, bảo vệ luận án 11/19/2010, ban lãnh đạo nghiên cứu Gervais, Marie-Pierre, Đồng hướng dẫn : Blanc, Xavier (2010)
  • M. Almeida Da Silva, A. Mougenot, R. Bendraou, J. Robin, X. Blanc : “Artifact or Process Guidance, an Empirical Study”, MoDELS (2), vol. 6395, Lecture Notes in Computer Science, Oslo, Norway, pp. 318-330, (Springer) (2010)
  • A. Mougenot, X. Blanc, M.‑P. Gervais : “Inconsistency Detection in Distributed Model Driven Software Engineering Environments”, 3^rd Workshop on Living with Inconsistencies in Software Development, vol. 661, CEUR-WS, Antwerp, Belgium, pp. 2-7, (CEUR) (2010)
  • M. Almeida Da Silva, A. Mougenot, X. Blanc, R. Bendraou : “Towards Automated Inconsistency Handling in Design Models”, 22^nd International Conference on Advanced Information Systems Engineering, CAiSE 2010, vol. 6051, Lecture Notes in Computer Science, Hammamet, Tunisia, pp. 348-362, (Springer) (2010)
• 2009
  • A. Mougenot, X. Blanc, M.‑P. Gervais : “D-Praxis: A Peer-to-Peer Collaborative Model Editing Framework”, 9^th IFIP international conference on Distributed Applications and Interoperable Systems (DAIS'09), vol. 5523, Lecture Notes in Computer Science, Lisbonne, Portugal, pp. 16-29, (Springer) (2009)
  • X. Blanc, A. Mougenot, I. Mounier, T. Mens : “Incremental Detection of Model Inconsistencies based on Model Operations”, 21^st International Conference on Advanced Information Systems Engineering (CAiSE'09), vol. 5565, Lecture Notes in Computer Science, Amsterdam, Netherlands, pp. 32-46, (Springer) (2009)
  • A. Mougenot, A. Darrasse, X. Blanc, M. Soria : “Uniform random generation of huge metamodel instances”, Fifth European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA 2009), Enschede, Netherlands, pp. 130-145 (2009)
• 2008
  • X. Blanc, I. Mounier, A. Mougenot, T. Mens : “Detecting Model Inconsistency Through Operation-Based Model Construction”, 30^th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, pp. 511-520, (ACM) (2008)