Synchronization of abstract and concrete syntax in domain-specific modeling languages

Abstract

Abstract Modern domain-specific modeling (DSM) frameworks provide refined techniques for developing new languages based on the clearseparation of conceptual elements of the language (called abstract syntax) and their graphical visual representation (called concrete syntax). This separation is usually achieved by recording traceability information between the abstract and concrete syntax usingmapping models. However, state-of-the-art DSM frameworks impose severe restrictions on traceability links between elements of the abstractsyntax and the concrete syntax. In the current paper, we propose a mapping model which allows to define arbitrarily complexmappings between elements of the abstract and concrete syntax. Moreover, we demonstrate how live model transformations cancomplement mapping models in providing bidirectional synchronization and implicit traceability between models of the abstractand the concrete syntax. In addition, we introduce a novel architecture for DSM environments which enables these concepts,and provide an overview of the tool support.