[UML Semantic:003]: Matching Receptions / Signals

When choosing a signal as signature of a asynch message, the signal should be a signal which reception is provided by the type of the property, or port, the lifeline represents.

By provided, we mean, a reception defined in the type, any of the parents' types, in the interfaces realized by the type, or in any of the interfaces realized by any of the parents of the type.