Improving automation in model-driven engineering using examples

Cette thèse a pour but d’améliorer l’automatisation dans l’ingénierie dirigée par les modèles (MDE pour Model Driven Engineering). MDE est un paradigme qui promet de réduire la complexité du logiciel par l’utilisation intensive de modèles et des transformations automatiques entre modèles (TM). D’une façon simplifiée, dans la vision du MDE, les spécialistes utilisent plusieurs modèles pour représenter un logiciel, et ils produisent le code source en transformant automatiquement ces modèles. Conséquemment, l’automatisation est un facteur clé et un principe fondateur de MDE. En plus des TM, d’autres activités ont besoin d’automatisation, e.g. la définition des langages de modélisation et la migration de logiciels. Dans ce contexte, la contribution principale de cette thèse est de proposer une approche générale pour améliorer l’automatisation du MDE. Notre approche est basée sur la recherche méta-heuristique guidée par les exemples. Nous appliquons cette approche sur deux problèmes importants de MDE, (1) la transformation des modèles et (2) la définition précise de langages de modélisation. Pour le premier problème, nous distinguons entre la transformation dans le contexte de la migration et les transformations générales entre modèles. Dans le cas de la migration, nous proposons une méthode de regroupement logiciel (Software Clustering) basée sur une méta-heuristique guidée par des exemples de regroupement. De la même façon, pour les transformations générales, nous apprenons des transformations entre modèles en utilisant un algorithme de programmation génétique qui s’inspire des exemples des transformations passées. Pour la définition précise de langages de modélisation, nous proposons une méthode basée sur une recherche méta-heuristique, qui dérive des règles de bonne formation pour les méta-modèles, avec l’objectif de bien discriminer entre modèles valides et invalides. Les études empiriques que nous avons menées, montrent que les approches proposées obtiennent des bons résultats tant quantitatifs que qualitatifs. Ceux-ci nous permettent de conclure que l’amélioration de l’automatisation du MDE en utilisant des méthodes de recherche méta-heuristique et des exemples peut contribuer à l’adoption plus large de MDE dans l’industrie à là venir.

Evaluation of valosin containing protein (P97) as a cancer biomaker in canine lymphomas

Le lymphome est l'une des tumeurs les plus communes tant chez le chien que l’humain. Chaque année, un nombre important de chiens développe ce cancer agressif. La majorité décédant un an suivant le diagnostic. Le lymphome canin est maintenant identifié comme un excellent modèle de recherche pour la tumeur chez l'homme, particulièrement en ce qui concerne la biologie moléculaire de la maladie. En conséquence, la recherche sur le lymphome canin sera bénéfique non seulement pour les chiens mais aussi pour l’oncologie humaine. Parmi les méthodes diagnostiques de choix pour dépister de façon hâtive le lymphome se trouve la mesure de marqueurs tumoraux. Ceci a l’avantage d’être peu invasive, simple et peu dispendieuse. Ainsi, dans le but d’évaluer la protéine VCP (valosin containing protein) comme biomarqueur tumoral dans les lymphomes canins à cellules B et T, nous avons évalué la protéine VCP par immunobuvardage sur sérums et tissus tumoraux de chiens atteints et par immunohistochimie sur des tumeurs de haut grade, grade intermédiaire et bas grade. Pour mieux définir l’expression de VCP dans les cellules cancéreuses, nous avons également examiné par immunobuvardage les niveaux de VCP dans 3 lignées cellulaires: CLBL-1, CL-1, et 17-71. Il s’avère que les lymphomes à cellules B de haut grade avaient une élévation significative du taux de VCP comparé aux tumeurs de bas grade (P < 0,05). De même, une accumulation importante de VCP a également été détectée dans les lignées tumorales comparées aux cellules mononucléaires du sang périphérique (P < 0,05). D’autre part, le taux sérique de VCP est resté similaire à ceux des chiens normaux. Ces résultats suggèrent une corrélation entre le taux de VCP et le degré de malignité des lymphomes à cellules B. En conclusion, la protéine VCP doit faire l’objet d’une évaluation approfondie pour déterminer son utilité comme marqueur pronostique.