R858

R858 / 1:Mc

Signal Assigner Action directs signal to assigner on exactly one Association

Association receives signal from zero, one or many Signal Assigner Action

---

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 can receive a Signal only if it has an assigner state machine defined on it. If so, it may receive signals from multiple Signal Assigner Actions.

Formalization

Signal Assigner Action.(Association, Domain) -> Association.(Name, Domain)