\textit{RuleMerger}: automatic construction of variability-based model transformation rules

DOI10.1007/978-3-662-49665-7_8MaRDI QIDQ2801761zbMATH OpenOpenAlexFDO

Authors J. Rubin, Marsha Chechik, J. Plöger, Daniel Strüber, Thorsten Arendt, Gabriele Taentzer

Publication date 21 April 2016

Published in Fundamental Approaches to Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-49665-7_8

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Variability-based model transformation: formal foundation and application
• Rule-based modularization in model transformation languages illustrated with ATL
• Model transformation and induced instance migration: a universal framework
• A model-based development approach for model transformations
• On the Specification and Verification of Model Transformations

Cited in

(3)

• Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach
• RuleMerger
• Variability-based model transformation: formal foundation and application

Describes a project that uses

Uses Software

• GReAT
• GGL
• VMQL
• gSpan

This page was built for publication: \textit{RuleMerger}: automatic construction of variability-based model transformation rules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2801761)