OSATE-DIM: Rules

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