Variability-based model transformation: formal foundation and application

DOI10.1007/s00165-017-0441-3zbMath1380.68133OpenAlexW2768544685MaRDI QIDQ682373

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

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 theorymodel transformationgraph transformation

Mathematics Subject Classification ID

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

Uses Software

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules
• ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence
• Generalised Compositionality in Graph Transformation
• From Core OCL Invariants to Nested Graph Constraints
• Compositionality in Graph Transformation
• Granularity of Conflicts and Dependencies in Graph Transformation Systems
• Graph Transformations
• The complexity of theorem-proving procedures
• Multi-amalgamation of rules with application conditions in -adhesive categories
• -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation

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