Systematically deriving domain-specific transformation languages

Hölldobler, Katrin; Rumpe, Bernhard; Weisemöller, Ingo

doi:10.1109/models.2015.7338244

Cited by 13 publications

(14 citation statements)

References 29 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The latter includes an extensible visitorbased model checking framework that applies Java well-formedness rules (context conditions) to the models. Behavior can be realized through FreeMarker-based code generators that process models and translate these into arbitrary target language artifacts or through domain-specific model-to-model transformations [52] . Facets realize these perspectives through specific grammars, Java rules, and templates.…”

Section: Perspectivesmentioning

confidence: 99%

Concern-oriented language development (COLD): Fostering reuse in language engineering

Combemale

Kienzle

Mussbacher

et al. 2018

Computer Languages, Systems & Structures

View full text Add to dashboard Cite

a b s t r a c t Domain-Specific Languages (DSLs) bridge the gap between the problem space, in which stakeholders work, and the solution space, i.e., the concrete artifacts defining the target system. They are usually small and intuitive languages whose concepts and expressiveness fit a particular domain. DSLs recently found their application in an increasingly broad range of domains, e.g., cyber-physical systems, computational sciences and high performance computing. Despite recent advances, the development of DSLs is error-prone and requires substantial engineering efforts. Techniques to reuse from one DSL to another and to support customization to meet new requirements are thus particularly welcomed. Over the last decade, the Software Language Engineering (SLE) community has proposed various reuse techniques. However, all these techniques remain disparate and complicate the development of real-world DSLs involving different reuse scenarios.In this paper, we introduce the Concern-Oriented Language Development (COLD) approach, a new language development model that promotes modularity and reusability of language concerns . A language concern is a reusable piece of language that consists of usual language artifacts (e.g., abstract syntax, concrete syntax, semantics) and exhibits three specific interfaces that support (1) variability management, (2) customization to a specific context, and (3) proper usage of the reused artifact. The approach is supported by a conceptual model which introduces the required concepts to implement COLD. We also present * Corresponding author. J.-M. Jézéquel et al. / Computer Languages, Systems & Structures 54 (2018) [139][140][141][142][143][144][145][146][147][148][149][150][151][152][153][154][155] concrete examples of some language concerns and the current state of their realization with metamodel-based and grammar-based language workbenches. We expect this work to provide insights into how to foster reuse in language specification and implementation, and how to support it in language workbenches.

show abstract

Section: Perspectivesmentioning

confidence: 99%

Concern-oriented language development (COLD): Fostering reuse in language engineering

Combemale

Kienzle

Mussbacher

et al. 2018

Computer Languages, Systems & Structures

View full text Add to dashboard Cite

show abstract

“…One class of approaches is based on the idea of turning a DSML into a domain-specific transformation language. Hölldobler et al [18] assume a DSML to be specified using a context-free grammar and present a generative approach to systematically derive a textual domain-specific transformation language from that grammar. Consequently, the approach is limited to textual DSMLs.…”

Section: Related Workmentioning

confidence: 99%

“…In contrast, Grønmo [17] and Acreţoaie et al [2] address concrete syntaxbased transformation of graphical models. Similar to [18], the approach presented in [17] is generative in the sense that transformation rule editors are generated from the DSML meta-model which must be equipped with a mapping to the set of symbols of the DSML concrete syntax. However, this means domain experts cannot define the transformation rules using their favourite editor.…”

Section: Related Workmentioning

confidence: 99%

Automatic Inference of Rule-Based Specifications of Complex In-place Model Transformations

Kehrer

Alshanqiti

Heckel

2017

Theory and Practice of Model Transformation

View full text Add to dashboard Cite

Optimal support for continuous evolution in model-based software development requires tool environments to be customisable to domain-specific modelling languages. An important aspect is the set of change operations available to modify models. In-place model transformations are well-suited for that purpose. However, the specification of transformation rules requires a deep understanding of the language metamodel, limiting it to expert tool developers and language designers. This is at odds with the aim of domain-specific visual modelling environments, which should be customisable by domain experts. We follow a model transformation by-example approach to mitigate that problem: Users generate transformation rules by creating examples of transformations using standard visual editors as macro recorders. Our ambition is to stick entirely to the concrete visual notation domain experts are familiar with, using rule inference to generalise a set of transformation examples. In contrast to previous approaches to the same problem, our approach supports the inference of complex rule features such as negative application conditions, multi-object patterns and global invariants. We illustrate the functioning of our approach by the inference of a complex and widely used refactoring operation on UML class diagrams.

show abstract

“…K. Hölldobler, B. Rumpe, and I. Weisemöller [17] presents a process that allows to systematically derive a textual domain specific transformation language from the grammar of a given textual modeling language. They applied a systematic derivation of the semantics to UML class diagrams to obtain a domain-specific transformation language called CDTrans.…”

Section: Related Workmentioning

confidence: 99%

“…As shown in figure 2 the syntactic elements are specified as symbol substitutions for the major objects in the pipeline model that can be recursively performed to generate new modeling sequences and to keep track of domain specific relevant information [17]. The information is tagged with the pipeline component attributes (attr) and values(val),which can be transferred into the instruction sequence in the language construct.…”

Section: Fig 2 Model Specificationsmentioning

confidence: 99%

Model Interactions in a Domain Specific Modeling Language: An ICT Solution to Transformations in Design of Fluid Supply Systems

Theophilus¹,

Patrick²,

Bunakiye³

et al. 2016

International Journal of Advanced Research in Computer and Comm

View full text Add to dashboard Cite

Abstract:In domain specific modeling language development, model interactions and transformations play a crucial role. This paper introduces a new, syntax directed approach for the specification of modelinteractions for transformations within a domain specific modeling language. The technique is based on tokenization of the characteristic values and attributes of possible component elements of a fluid supply system. To demonstrate the mapping, expression parse trees and streams of tokens are recursively specified as syntax directed definitions in a context free grammar. With each grammar symbol, a set of attributes are associated, and with each production, a set of semantic rules for mapping values of the attributes corresponding to a typical fluid supply system physical design and modeling parameters are associated. The main contributions are the specifications that will aid the design of a domain specific modeling language for the representation of transformations and translation scheme execution engine for the target domain of fluid supply systems, and another is a possible pathway for the implementation of the semantics of the language with a syntax directed scheme that consists of a grammar and the set semantic rules.

show abstract

Systematically deriving domain-specific transformation languages

Cited by 13 publications

References 29 publications

Concern-oriented language development (COLD): Fostering reuse in language engineering

Concern-oriented language development (COLD): Fostering reuse in language engineering

Automatic Inference of Rule-Based Specifications of Complex In-place Model Transformations

Model Interactions in a Domain Specific Modeling Language: An ICT Solution to Transformations in Design of Fluid Supply Systems

Contact Info

Product

Resources

About