Doctoral thesis (Dissertations and theses)
Synchronisation of Model Visualisation and Code Generation Based on Model Transformation
Gottmann, Susann
2016
 

Files


Full Text
PhD-thesis-Susann-Gottmann.pdf
Author postprint (16.62 MB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
visual modelling; model-driven software & systems development; graph transformation; model transformation; model synchronisation; code generation; code visualisation; triple graph grammars
Abstract :
[en] The development, maintenance and documentation of complex systems is commonly supported by model-driven approaches where system properties are captured by visual models at different layers of abstraction and from different perspectives as proposed by the Object Management Group (OMG) and its model-driven architecture. Generally, a model is a concrete view on the system from a specific perspective in a particular domain. We focus on visual models in the form of diagrams and whose syntax is defined by domain-specific modelling languages (DSLs). Different models may represent different views on a system, i.e., they may be linked to each other by sharing a common set of information. Therefore, models that are expressed in one DSL may be transformed to interlinked models in other DSLs and furthermore, model updates may be synchronised between different domains. Concretely, this thesis presents the transformation and synchronisation of source code (abstract syntax trees, ASTs) written in the Satellite-Procedure & Execution Language (SPELL) to flow charts (code visualisation) and vice versa (code generation) as the result of an industrial case study. The transformation and synchronisation are performed based on existing approaches for model transformations and synchronisations between two domains in the theoretic framework of graph transformation where models are represented by graphs. Furthermore, extensions to existing approaches are presented for treating non-determinism in concurrent model synchronisations. Finally, the existing results for model transformations and synchronisations between two domains are lifted to the more general case of an arbitrary number of domains or models containing views, i.e., a model in one domain may be transformed to models in several domains or to all other views, respectively, and model updates in one domain may be synchronised to several other domains or to all other views, respectively.
Disciplines :
Computer science
Author, co-author :
Gottmann, Susann ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Language :
English
Title :
Synchronisation of Model Visualisation and Code Generation Based on Model Transformation
Defense date :
02 December 2016
Number of pages :
277
Institution :
Unilu - University of Luxembourg, Luxembourg, Luxembourg
Degree :
Docteur de l'Université du Luxembourg en Informatique
Promotor :
Engel, Thomas 
Hermann, Frank
Ermel, Claudia
Sasnauskas, Raimondas
President :
Sorger, Ulrich
Focus Area :
Computational Sciences
Funders :
FNR - Fonds National de la Recherche [LU]
Available on ORBilu :
since 06 April 2017

Statistics


Number of views
120 (9 by Unilu)
Number of downloads
610 (0 by Unilu)

Bibliography


Similar publications



Contact ORBilu