Skip to Main content Skip to Navigation
New interface
Conference papers

Constructing Constraint-Preserving Interaction Schemes in Adhesive Categories

Abstract : When using graph transformations to formalize model transformations, it is often desirable to design transformations that preserve consistency with respect to a given set of (model) integrity constraints. The standard approach is to equip transformations with suitable application conditions such that the introduction of constraint violations is prevented. This may lead to rules that are applicable seldom or even inapplicable at all, though. To supplement this approach, we present a new and systematic procedure to develop correct-by-construction transformations with respect to a special kind of constraints. Instead of controlling the applicability of a rule we complement its action in such a way that a given constraint holds after application: For every way in which the rule could introduce a violation of the constraint, we derive a supplementary action for the rule that remedies that violation. We formalize this construction in the setting of adhesive categories for monotonic rules and positive atomic constraints and present sufficient conditions for its correctness.
Document type :
Conference papers
Complete list of metadata

Cited literature [1 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Friday, November 15, 2019 - 9:03:21 AM
Last modification on : Wednesday, September 7, 2022 - 3:36:04 PM
Long-term archiving on: : Sunday, February 16, 2020 - 1:38:40 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Jens Kosiol, Lars Fritsche, Nebras Nassar, Andy Schürr, Gabriele Taentzer. Constructing Constraint-Preserving Interaction Schemes in Adhesive Categories. 24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.139-153, ⟨10.1007/978-3-030-23220-7_8⟩. ⟨hal-02364576⟩



Record views


Files downloads