R858

R858 / 1:Mc

Assigner Destination directs signal to assigner on exactly one Association

Association provides assigner as zero, one or many Assigner Destination

---

A signal may be directed at an Assigner state machine. An assigner state machine manages competition on an Association. Since it is the Association that is being managed, it makes sense to associate that state machine with the Association it manages and to direct any signals it receives to that same Association.

An Association's Assigner, if it has one, is a legitimate Signal Destination. In fact, it may be correspond to more than one Signal Destination if multiple Signal Actions within an Activity target Signals to that same Assigner.

Even if an Association has an Assigner it still might not receive an Signals in a given Activity and so it

Formalization

Assigner Destination.(Rnum, Domain) -> Association.(Rnum, Domain)