Translation of View-updates is performed through rules specified in an Xtend-based DSL from VIATRA. When the state of a query pattern changes, the corresponding transformation rule is fired. The logic behind De-instantiation remains the same, irrespective of the scenario.
Component Addition

Component Updation

Component Deletion

Feature Addition

Feature Updation
Feature Deletion
Connection Addition
Connection Updation
Connection Deletion
Mode Addition
Root Mode
Derived Mode
Mode Updation
Root Mode
Derived Mode
Mode Deletion
Root Mode
Derived Mode
Mode Transition Addition
Mode Transition Updation
Mode Transition Deletion
Property Addition
Property Association
Modal Property Value
Property Value
Property Updation
Property Association
Modal Property Value
Property Value
Property Deletion
Property Association
Modal Property Value
Property Value
Avoiding Undesirable Change Propagation
