Variability-based model transformation: formal foundation and application

DOI10.1007/S00165-017-0441-3MaRDI QIDQ682373zbMATH OpenOpenAlexFDO

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

Publication date 2 February 2018

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-017-0441-3

zbMATH Keywords

variabilitycategory theorygraph transformationmodel transformation

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

• On the Specification and Verification of Model Transformations
• A model-based development approach for model transformations
• Towards verifying model transformations
• A framework for model transformation verification

Cites work

• scientific article; zbMATH DE number 1629832 (Why is no real title available?)
• scientific article; zbMATH DE number 1047152 (Why is no real title available?)
• scientific article; zbMATH DE number 2016074 (Why is no real title available?)
• scientific article; zbMATH DE number 919847 (Why is no real title available?)
• -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
• Compositionality in graph transformation
• Duality for simple \(\omega\)-categories and disks
• From Core OCL invariants to nested graph constraints
• Fundamental theory for typed attributed graphs and graph transformation based on adhesive HLR categories
• Generalised compositionality in graph transformation
• Granularity of conflicts and dependencies in graph transformation systems
• Graph Transformations
• Multi-amalgamation of rules with application conditions in \(\mathcal{M}\)-adhesive categories
• The complexity of theorem-proving procedures
• \(\mathcal M\)-adhesive transformation systems with nested application conditions. II: Embedding, critical pairs and local confluence
• \textit{RuleMerger}: automatic construction of variability-based model transformation rules

Cited in

(3)

• \textit{RuleMerger}: automatic construction of variability-based model transformation rules
• Finding the right way to Rome: effect-oriented graph transformation
• Pattern-based rewriting through abstraction

Describes a project that uses

Uses Software

• Henshin
• ATL
• gSpan
• RuleMerger
• GGL
• VMQL

This page was built for publication: Variability-based model transformation: formal foundation and application

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