Constructing optimized constraint-preserving application conditions for model transformation rules

• Published in: Journal of logical and algebraic methods in programming Vol. 114; p. 100564
• Main Authors: Nassar, Nebras, Kosiol, Jens, Arendt, Thorsten, Taentzer, Gabriele
• Format: Journal Article
• Language: English
• Published: Elsevier Inc 01.08.2020
• Subjects: Constraints; Correctness; Graph transformation; Model transformation; Validity preservation; Model transformation; Constraints; Validity preservation; Correctness; Graph transformation

There is an increasing need for model transformations ensuring valid result models w.r.t. a given constraint. In model refactoring, for example, each performed refactoring should yield a valid model again. Given a constraint, if a model transformation rule always produces valid output, it is called...