Model operation | Description | Instructions |
Set | ∃Type n, n in condition of Constraint∧prop∈n. properties | In the model look for a certain type and constraint elements and assignment for its attribute |
Add | ∃Type s, ∃Type f, s∈f∧f in condition of Constraint∧props⊆s. properties | In the model look for a certain type and constraint elements as the parent node, add the type of child nodes and assignment |
Remove | ∀Type n, n not in condition of Constraint | In the model look for a certain type and constraint elements and delete them |