R14

R14 / 1:Mc

Action Type is qualified by zero, one or many Parameter

Parameter qualifies exactly one Action Type

---

Any given Action Type may require one or more Parameters to fine tune the associated behavior.

The most obvious example in SM Executable UML might be the signal instance Action Type. Here the signal may carry one or more parameter values. We have to be careful with terminology here. The Parameter defined in the Shlaer-Mellor Metamodel has its own meaning and utility in that domain. Here in the model debugger, we use the same term Parameter in a modeling language independent context.

Consider the System Interaction example:

EVMAN >|| TRANS : Cabin<S1> Go to floor( Floor=3 )

Here we have an Activty Type named external event and it is qualified by