Soutenance de thèse de Jolan PHILIPPE

Jolan Philippe, doctorant au sein des équipe Namod/STACK, présentera sa thèse intitulée :

« Contribution to the Analysis of the Design-Space of a Distributed Transformation Engine »

Le 19 décembre à 14h, sur le site de l’IMT-Atlantique, Amphithéâtre Blaise Pascal

Lien visio: https://imt-atlantique.webex.com/imt-atlantique/j.php?MTID=m614072d4dfd8069fe4af3c09cbc4d01b (mdp nantes)

La soutenance sera suivie d’un pot dans la salle B218, auquel vous êtes toutes et tous convié(e)s.

Jury :

• Thesis director:    Dr. Gerson SUNYE, Associate professor, University of Nantes, France
• Co-supervisors:
  • Dr. Massimo TISI, Associate professor, Institut Mines-Telecom Atlantique, France
  • Dr. Hélène COULLON, Associate professor, Institut Mines-Telecom Atlantique, France
• Referees:
  • Dr. Jesus SANCHEZ CUADRADO, Associate professor, Universidad de Murcia, Spain
  • Prof. Matthias TICHY, Professor, University of Ulm, Germany
• Examiners:
  • Prof. Thomas LEDOUX, Professor, Institut Mines-Telecom Atlantique, France
  • Prof. Leen LAMBERS, Professor, Brandenburg University of Technology, Germany
  • Prof. Antonio VALLECILLO, Professor, University of Málaga, Spain

Abstract :

The design space for defining a distributed model transformation engine is a large spectrum of possibilities and opportunities to enhance performances in terms of computation time and memory consumption. Depending on the adopted decisions, the use of a transformation engine can be completely different (e.g., an incremental solution for an often-modified model vs a formally specified engine for reasoning, not performing). Already existing solutions propose engines with different goals based on several approaches including distribution, laziness, incrementality, and correctness. However, comparing the solutions is not trivial, and does not necessarily make sense. That is why we have implemented a new engine, integrating variability, that allows an analysis of its design space. From a language that has formal specifications, we created SparkTE, a parametrizable and distributed transformation engine on top of Spark.In this thesis, we aim at analysing the impact of the choices at different levels: the used programming models for defining expressions; the different semantics used to define the computation of a transformation; and the impact of engineering choices.

Keywords: Spark, Model Transformation, Model Queries, Correctness, Features.