{"id":22,"date":"2015-12-08T02:40:08","date_gmt":"2015-12-08T02:40:08","guid":{"rendered":"http:\/\/is.ieis.tue.nl\/staff\/pvgorp\/wp\/?page_id=22"},"modified":"2023-05-02T09:01:56","modified_gmt":"2023-05-02T09:01:56","slug":"phd","status":"publish","type":"page","link":"https:\/\/www.pietervangorp.com\/?page_id=22","title":{"rendered":"PhD Thesis: Model-driven Development of Model Transformations"},"content":{"rendered":"

For my Ph.D. thesis, I have investigated ways to model<\/i> model management tools in the context of the Model Driven Engineering<\/a> paradigm. I have focused on model refactoring, model synthesis and model synchronization.<\/p>\n

I have focused on domain model refactorings in 2002-2003. First of all, I have contributed to a research roadmap of refactoring<\/a>. Next, I have evaluated (and subsequently extended) the UML metamodel, I have used OCL to automate the refactoring process (by means of formal refactoring contracts<\/a>) and I have investigated how Fujaba could be used to generate refactoring code from visual model transformation specifications<\/a>. In 2003-2004, we made our approach applicable in any UML compliant tool by designing a UML profile for Story Diagrams and developing an open source compiler<\/a> towards JMI standard compliant repository manipulation code.<\/p>\n

After I had identified the need for more declarative transformation modeling language constructs in a series of model synthesis case studies, I have contributed a <<copy>> operator<\/a> to the graph\/model transformation community. The operator is made executable (and understandable) using a higher order transformation. The higher order transformation is modeled using plain Story Diagrams. Remark that I still do not consider the extended version of Story Diagrams the<\/i> ultimate language for modeling transformations (e.g., we need at least a <<merge>><\/i> operator and non-deterministic matching<\/a> too). However, I do consider the language architecture proposed in my thesis<\/a> and SLE paper<\/a> (UML profile + Higher Order Transformations) the<\/b> way to contribute new transformation language operators. In contrast to related work, the proposed approach clearly separates and reuses mainstream graph transformation infrastructure and minimizes tool lock-in.<\/p>\n

<\/a>For a gentle introduction to the approach, please check out the recording of my Ph.D. presentation for the general public:
\n