R1287 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1287 / Mc:Mc-1

External Event responds using zero, one or many Event Specification

Event Specification is requested response to zero, one or many External Event

---

Here we support asynchronous wormhole interactions as described in these resources: WORM96 and WORM96-A26 at the same location.

An asynchronous External Service is defined here as an External Event with any number of Event Specifications designated as anticipated responses.

For example, the Close door External Event specifies either a Door closed or a Door blocked response to be returned asynchronously. Each such response is called a Service Response.

If the External Event serves merely as an announcement, with no anticipated respones, no Event Specification is designated.

Any given Event Specification may or may not be designated as a response to any number of External Events.