Slide 15 of 23
This example is not fully consistent with the others given so far with respect to the hierarchy of instances.
Parameterized instances are shown here. Parameterized variables (static variables) are the same thing. Paramterization and virtual MSCs replace MSC-96 substitution!
Notice that the colon in the binding symbol is significant regarding the source and the target of the binding. The pattern closest to the colon is the target (or in our terms the “pattern” which is bound to the “expression” given by the other side of the binding symbol.