Change-Preserving Model Repair

DOI10.1007/978-3-662-54494-5_16MaRDI QIDQ5215912zbMATH OpenOpenAlexFDO

Authors Manuel Ohrndorf, Yngve Lamo, Adrian Rutle, Gabriele Taentzer

Publication date 13 February 2020

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-54494-5_16

zbMATH Keywords

graph transformationmodel repairmodel-based engineering

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Grammars and rewriting systems (68Q42)

Recommendations

• Model repair for probabilistic systems
• Abstract Model Repair
• Model and program repair via group actions
• Modeling of repairable systems
• A novel repair model for imperfect maintenance

Cited in

(6)

• Comprehensive systems: a formal foundation for multi-model consistency management
• Abstract Model Repair
• Rule-based graph repair
• scientific article; zbMATH DE number 7456048 (Why is no real title available?)
• A logic-based incremental approach to graph repair
• Constructing optimized constraint-preserving application conditions for model transformation rules

Describes a project that uses

Uses Software

• Henshin

This page was built for publication: Change-Preserving Model Repair

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