The metamodel and tool have no way to fix the values of formal parameters of operation targets, even though they form part of the parameterisation of the operation. This is somewhat awkward when we want to be able to say things like 'when we call X with value 2, we get Y'.
The metamodel and tool have no way to fix the values of formal parameters of operation targets, even though they form part of the parameterisation of the operation. This is somewhat awkward when we want to be able to say things like 'when we call X with value 2, we get Y'.