R2008 - modelint/shlaer-mellor-metamodel GitHub Wiki

R2008 / Generalization

Dispatched Event is an Interaction Event or Completion Event

---

See the description of Completion Event for all the reasoning driving the abstraction of these two subclasses.

While each is has an entirely different purpose, both kinds of Dispatched Event may supply parameter values to satisfy a State Signature.

And the response to each is handled identically. In other words, the occurence of either kind of Dispatched Event will trigger an IGN, CH, or T response.

That said, models should be built so that Completion Events only happen when an Instance is in the Real State that dispatched the Completion Event. All other states should define a CH response. And a Completion Event should NEVER be ignored. For example, rather than dispatching a Done Completion Event in multiple Real States, the modeler should define a unique Completion Event in each Real State such as Done with A, Done with B, etc.

This simplifies the event processing logic at the risk of the modeler doing something stupid.