Henshin: A Usability-Focused Framework for EMF Model Transformation Development

Strüber, Daniel; Born, Kristopher; Gill, Kanwal Daud; Groner, Raffaela; Kehrer, Timo; Ohrndorf, Manuel; Tichy, Matthias

doi:10.1007/978-3-319-61470-0_12

Cited by 51 publications

(36 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…To evaluate our technique, we implemented it for Henshin [27,28], a graph-based model transformation language, and applied it to a transformation scenario with product lines and transformation variability. The goal of our evaluation was to study if our technique indeed produces the expected performance benefits.…”

Section: Discussionmentioning

confidence: 99%

Taming Multi-Variability of Software Product Line Transformations

Strüber

Peldzsus

Jürjens

2018

Fundamental Approaches to Software Engineering

Self Cite

View full text Add to dashboard Cite

Software product lines continuously undergo model transformations, such as refactorings, refinements, and translations. In product line transformations, the dedicated management of variability can help to control complexity and to benefit maintenance and performance. However, since no existing approach is geared for situations in which both the product line and the transformation specification are affected by variability, substantial maintenance and performance obstacles remain. In this paper, we introduce a methodology that addresses such multivariability situations. We propose to manage variability in product lines and rule-based transformations consistently by using annotative variability mechanisms. We present a staged rule application technique for applying a variability-intensive transformation to a product line. This technique enables considerable performance benefits, as it avoids enumerating products or rules upfront. We prove the correctness of our technique and show its ability to improve performance in a software engineering scenario.

show abstract

Section: Discussionmentioning

confidence: 99%

Taming Multi-Variability of Software Product Line Transformations

Strüber

Peldzsus

Jürjens

2018

Fundamental Approaches to Software Engineering

Self Cite

View full text Add to dashboard Cite

show abstract

“…Our model generation approach is based on the application of transformation rules to EMF models as implemented in the Eclipse plug-in Henshin [1,35]. This approach is formally underpinned by typed attributed graph transformation as presented in [4].…”

Section: Transformation Rules and Transformation Unitsmentioning

confidence: 99%

Generating Large EMF Models Efficiently

Nassar

Kosiol

Kehrer

et al. 2020

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

There is a growing need for the automated generation of instance models to evaluate model-driven engineering techniques. Depending on a chosen application scenario, a model generator has to fulfill different requirements: As a modeling language is usually defined by a meta-model, all generated models are expected to conform to their metamodels. For performance tests of model-driven engineering techniques, the efficient generation of large models should be supported. When generating several models, the resulting set of models should show some diversity. Interactive model generation may help in producing relevant models. In this paper, we present a rule-based, configurable approach to automate model generation which addresses the stated requirements. Our model generator produces valid instance models of meta-models with multiplicities conforming to the Eclipse Modeling Framework (EMF). An evaluation of the model generator shows that large EMF models (with up to half a million elements) can be produced. Since the model generation is rule-based, it can be configured beforehand or during the generation process to produce sets of models that are diverse to a certain extent.

show abstract

“…To interface with the tool, contracts can be exported to standard formats such as GXL or DOT graphs. Most notably, however, VCE supports the export of generalised rules to Henshin [5,42], a model transformation language and system which is based on graph transformation concepts [16] and allows to execute rules on (model representations of) object graphs. This allows to use visual contracts as test oracles, which is interesting in itself but also essential for the evaluation of inferred contracts as in the experiment presented in subsection 4.2.…”

Section: Export To Henshinmentioning

confidence: 99%

“…subsection 2.6). -(D) the Visualiser for selective display and analysis of contracts; and -(E) an Export and Model Control facility, particularly to the model trans-formation tool Henshin[5,42] for generating executable contracts and controlling their execution as oracles alongside testing.…”

mentioning

confidence: 99%

Inferring visual contracts from Java programs

2018

Self Cite

View full text Add to dashboard Cite

Visual contracts model the operation of components or services by pre-and post-conditions formalised as graph transformation rules. They provide a precise intuitive notation to support testing, understanding and analysis of software. Their detailed specification of internal data states and transformations, referred to as deep behavioural modelling, is an error-prone activity. In this paper we propose a dynamic approach to reverse engineering visual contracts from Java based on tracing the execution of Java operations. The resulting contracts give an accurate description of the observed object transformations, their effects and preconditions in terms of object structures, parameter and attribute values, and their generalised specification by universally quantified (multi) objects, patterns, and invariants. While this paper focusses on the fundamental technique rather than a particular application, we explore potential uses in our evaluation, including in program understanding, review of test reports and debugging.

show abstract

Henshin: A Usability-Focused Framework for EMF Model Transformation Development

Cited by 51 publications

References 23 publications

Taming Multi-Variability of Software Product Line Transformations

Taming Multi-Variability of Software Product Line Transformations

Generating Large EMF Models Efficiently

Inferring visual contracts from Java programs

Contact Info

Product

Resources

About