Variability-based model transformation: formal foundation and application
From MaRDI portal
Publication:682373
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
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Uses Software
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