%0 Conference Proceedings
%T Constructing Constraint-Preserving Interaction Schemes in Adhesive Categories
%+ Philipps Universität Marburg = Philipps University of Marburg
%+ Technische Universität Darmstadt - Technical University of Darmstadt (TU Darmstadt)
%A Kosiol, Jens
%A Fritsche, Lars
%A Nassar, Nebras
%A Schürr, Andy
%A Taentzer, Gabriele
%Z Part 3: Contributed Papers
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 24th International Workshop on Algebraic Development Techniques (WADT)
%C Egham, United Kingdom
%Y José Luiz Fiadeiro
%Y Ionuț Țuțu
%I Springer International Publishing
%3 Recent Trends in Algebraic Development Techniques
%V LNCS-11563
%P 139-153
%8 2018-07-02
%D 2018
%R 10.1007/978-3-030-23220-7_8
%K Algebraic graph transformation
%K Interaction scheme
%K Graph constraints
%K Correctness-by-construction
%K Adhesive categories
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%Z TC 1
%Z WG 1.3
%2 https://inria.hal.science/hal-02364576/document
%2 https://inria.hal.science/hal-02364576/file/486157_1_En_8_Chapter.pdf
%L hal-02364576
%U https://inria.hal.science/hal-02364576
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC1
%~ IFIP-WG1-3
%~ IFIP-WADT
%~ IFIP-LNCS-11563