R981 - modelint/shlaer-mellor-metamodel GitHub Wiki

R881 / Generalization

Facet Instantiation is a Delegated Facet Instantiation or Local Facet Instantiation


For a Multiple Create Action, a new instance is created for each Facet in a specified Lineage. This is the case both for local (synchronous) and delegated (asynchronous) create actions.

Additional policies for each Facet Instantiation vary depending on the creation mechanism. For example, a Local Facet Instantiation may specify an initial state and may be returned as an output of the action whereas a Delegated Facet Instantiation may be the recipient of an initial event.

Formalization

<subclass>.(Rnum, Class, Create action, Activity, Domain) ->
    Facet Instantiation.(Rnum, Class, Create action, Activity, Domain)
⚠️ **GitHub.com Fallback** ⚠️