UniComp: a semantics-aware model compiler for optimised predictable software
In Model-Driven Engineering, executables are generated from domain-specific modelling languages (DSMLs) through two steps: generation of program code in a third-generation programming languages (3GLs, like C++ or Java) from a model, and compilation of the generated code to object code. 3GL code generation raises three issues. (1) Code generators are DSML- and 3GL-specific, hence they can not be used for other DSMLs or 3GLs than those they were designed for. (2) Existing code generators do not exploit model semantics; hence, 3GL programs do not always semantically reflect models. (3) Existing 3GL compilers are unable to exploit model semantics; hence, they are not able to operate model-specific optimisations. (2) and (3) seriously threaten predictability of the generated executables.
We advocate the need and provides a solution proposal for an innovative model compilation framework based on model semantics to produce executables without translations to 3GLs. Model compilation will be based on a common semantics, the Semantics of a Foundational Subset for Executable UML Models (fUML), and will semantically underpin any DSML whose execution semantics can be specified with fUML.
Wed 30 May (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
|14:00 - 14:15|
Patrick KochAlpen-Adria-Universität Klagenfurt, Konstantin Schekotihin, Dietmar Jannach, Birgit Hofer, Franz Wotawa, Thomas SchmitzDOI Pre-print File Attached
|14:15 - 14:30|
|14:30 - 14:45|
Hierarchical Learning of Cross-Language Mappings through Distributed Vector Representations for Code
Nghi Duy Quoc BuiSingapore Management University, Singapore, Lingxiao JiangSingapore Management UniversityPre-print
|14:45 - 15:00|
|15:00 - 15:15|
Federico CiccozziMalardalen UniversityLink to publication
|15:15 - 15:30|
Eric BoddenHeinz Nixdorf Institut, Paderborn University and Fraunhofer IEMPre-print