R25 - modelint/shlaer-mellor-metamodel GitHub Wiki

Attribute is a Non Derived Attribute or Derived Attribute

The value of an Attribute may be derived from other values that already exist in a given Class Model. If this can be managed using a formula that can be executed immediately without sending asynchronous signals and coordinating with any state machines or changing the values of any instance's Attributes, the Attribute is a Derived Attribute. Otherwise, the Attribute is non-derived.

<subclass>.(Name, Class, Domain) -> Attribute.(Name, Class, Domain)