… of the modeling language under consideration are preserved (consistency preservation). The consistency of model refactorings can be ensured by runtime checks. However … for consistency preservation of rule-based refactorings at design time. Thereby …
ICMT 2011: 123-137… to the source of the inconsistency. A major part of this inadequate consistency checking …, which are not checked for consistency with the rest of the application. Examples … up with static verification and cross-aspect consistency checking in mind …
JSC, 46(2):150-182, 2011. [doi]