Change-Preserving Model Repair

DOI10.1007/978-3-662-54494-5_16zbMATH Open1430.68029OpenAlexW2602512370MaRDI QIDQ5215912FDOQ5215912

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

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

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)

Cited In (6)

• Abstract Model Repair
• Title not available (Why is that?)
• Title not available (Why is that?)
• A logic-based incremental approach to graph repair
• Constructing optimized constraint-preserving application conditions for model transformation rules
• Comprehensive systems: a formal foundation for multi-model consistency management

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)