R984 - modelint/shlaer-mellor-metamodel GitHub Wiki

R981 / 1:Mc

Explicit Initialization gets value from exactly one Scalar Flow

Scalar Flow supplies value for zero, one or many Explicit Initialization

---

The initial value used in the initialization is supplied by a Scalar Flow. This means that the value must be a single scalar value.

A given Scalar Flow may or may not supply an attribute initialization value and the same Scalar Flow can flow into more than one Explicit Initialization.

Formalization

Explicit Initialization.(Initial value flow, Activity, Domain) -> Scalar Flow.(Flow, Activity, Domain)