Short-Cut Rules

Efficient Model Synchronization by Automatically Constructed Repair Processes

“…Moreover, we obtain sufficient conditions under which an application of a short-cut rule preserves the consistency of related pairs of models. This was left to future work in [8]. Together, this constitutes the correctness of our approach using operationalized short-cut rules for model synchronization.…”

“…Model synchronization with short-cut repair. In [8] we introduced short-cut rules as a kind of rule composition mechanism that allows to replace a rule application by another one while preserving elements (instead of deleting and re-creating them). In our example, Root-Rule and Sub-Rule overlap in elements as the first rule can be completely embedded into the latter one.…”

“…In [8], we introduced short-cut rules as a new way of sequential composition for monotonic rules. Given an inverse rule of a monotonic rule (i.e., a rule that only deletes) and a monotonic rule, a short-cut rule combines their respective actions into a single rule.…”

“…4.1. Constructing shortspscut rules in [8], we identified the following problem: Applying a short-cut rule derived from rules of a given grammar might lead to an instance that is not part of the language defined by that grammar. Therefore, in Sect.…”

“…As a new solution to this synchronization problem, we derive repair rules from short-cut rules [8] that we recently introduced to handle complex consistencypreserving model updates more effectively and efficiently. The construction of short-cut rules is a kind of sequential rule composition that allows to replace a rule application with another one while preserving involved model elements (instead of deleting and re-creating them).…”