R828 - modelint/shlaer-mellor-metamodel GitHub Wiki
R828 / 1:Mc
Signature defines input with zero, one or many Parameter
Parameter input is defined by exactly one Signature
By definition, a Signature is a set of possibly zero Parameters.
Every Parameter is defined locally within a Signature. This means that two Signatures might define a Parameter with the same name, Pressure
let's say. But the Pressure
Parameter in one Signature is distinct from that in the other.