Reference : Synchronisation of Model Visualisation and Code Generation Based on Model Transformation
Dissertations and theses : Doctoral thesis
Engineering, computing & technology : Computer science
Computational Sciences
Synchronisation of Model Visualisation and Code Generation Based on Model Transformation
Gottmann, Susann mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
University of Luxembourg, ​Luxembourg, ​​Luxembourg
Docteur de l'Université du Luxembourg en Informatique
Engel, Thomas mailto
Hermann, Frank
Ermel, Claudia
Sasnauskas, Raimondas
Sorger, Ulrich
[en] visual modelling ; model-driven software & systems development ; graph transformation ; model transformation ; model synchronisation ; code generation ; code visualisation ; triple graph grammars
[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.
Fonds National de la Recherche - FnR
Researchers ; Professionals ; Students ; General public ; Others

File(s) associated to this reference

Fulltext file(s):

Open access
PhD-thesis-Susann-Gottmann.pdfAuthor postprint16.23 MBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.