Skip to Main content Skip to Navigation
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

https://hal.inria.fr/hal-02364576
Contributor : Hal Ifip <>
Submitted on : Friday, November 15, 2019 - 9:03:21 AM
Last modification on : Monday, May 18, 2020 - 12:24:06 PM
Long-term archiving on: : Sunday, February 16, 2020 - 1:38:40 PM

File

 Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2022-01-01

Please log in to resquest access to the document

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

276