[UML Semantic:004]: Message arguments

The arguments of a message SHALL match the attributes of the signal or the parameter of the operation.

The UML constraints on message arguments are quite strict, so a more relax approach is taken:
- If the arguments are named, all must be named, and they can appear in any order and if it does not appear, the wildcarded value is assumed, for purpose of matching traces.
- For messages with signals, if the arguments are not named, the order is taken from the order of attributes in the signal. And we ignore the constraint about reception parameter matching the signal attributes.