Bachelor and Master Theses

Title: Master thesis: The problem of bidirectionality in Model-Driven Engineering
Subject: Computer Science
Level: Advanced
Description: Model-Driven Engineering (MDE) shifts the focus of software development from coding to modelling. The aim is to reduce the complexity thanks to the use of models, i.e. abstractions of a real phenomena tailored to pursue a well-defined goal. MDE is based on the fundamental concepts of models, metamodels, and model transformations: metamodels define what are well-formed models, that is the set of concepts usable to represent a certain reality. Model transformations are the mean to operate on models, to map them towards other models as well as to generate text (e.g. source code).

With its increasing adoption, MDE is used to target more and more complex problems that, in turn, disclose new research investigation directions. In this respect, bidirectional model transformations emerged as an important tool to support change propagation between models, since source and target model can be kept synchronized whenever changes happen on either side. However, bidirectional mappings open a number of intricate issues that have been only partially solved by research.

This work targets the field of bidirectional model transformations with the goal of studying two important approaches, namely Constraint-Based Programming (CSP) and Triple Graph Grammars (TGG), and compare their performances with respect to selected bidirectional transformation problems. The aim is to draw a workbench for comparing bidirectional transformation approaches and show advantages and drawbacks of available solutions. In particular, the student will:
- get familiar with the current literature on model transformations and relevant surveys on the field;
- get acquainted with the above mentioned bidirectional transformation approaches in theory and practice;
- develop an appropriate case study to be used to measure relevant performances of bidirectional transformation approaches;
- implement the case study in selected tools supporting CSP and TGG paradigms and observe the corresponding behaviours.
Company: University of L'Aquila, kontaktperson: Alfonso Pierantonio
Prel. end date: 2013-01-15
Presentation date: 2013-01-31
Student: Alessio Bucaioni alessiounivaq@gmail.com
IDT supervisor: Antonio Cicchetti
antonio.cicchetti@mdh.se, +46-21-151762
Examinator: Ivica Crnkovic
Ivica Crnkovic
ivica.crnkovic@mdh.se, +46-21-103183

Rapport och bilagor

Size

Senaste uppdatering

TR1412.pdf

4369950

2013-02-15, 08:22


  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2017.08.23