R861 - modelint/shlaer-mellor-metamodel GitHub Wiki

R861 / 1:Mc

Signal EE Action delivers signal to exactly one External Entity

External Entity receives signal from zero, one or many Signal EE Action

---

The generated signal is always directed at some External Entity, by definition.

Any given External Entity may or may not receive any signals. In some cases, for example, an External Entity may be driven only by synchronous interactions. And if not, it might just be the case that no signals happen to be directed at a given EE simply because no such Action was supplied by the modeler.

The same External Entity could receive a Signal from any number of Signal Actions scattered about the model.

Formalization

Signal EE Action.(EE, Domain) -> External Entity.(Name, Domain)