R975 - modelint/shlaer-mellor-metamodel GitHub Wiki

R975 / M:Mc-1

Create Action initializes attributes of one or many Class

Class attributes are initialized by zero, one, or many Create Action

---

For a Class that does not participate in any Generalization, a Create Action instantiates a single Class. Otherwise, at the very least, one Superclass and Subclass instance must be created. In either case, each created instance must supply a value for each of its Attributes.

A given Class may or may not support instance creation and, hence, attribute initialization, during runtime.

Formalization

Instance Initialization.(Action, Activity, Domain) -> Create Action
Instance Initialization.(Class, Domain) -> Class