R22 - modelint/shlaer-mellor-metamodel GitHub Wiki

R22 / M:Mc-1

Attribute is required in zero, one or many Identifier

Identifier requires one or many Attribute

---

By definition, an Identifier consists of at least one Attribute.

An Attribute may or may not be part of any Identifier.

It is possible for an Attribute to be a component of multiple Identifiers. (There are numerous examples of this in the Shlaer-Mellor metamodel itself).

Formalization

Identifier Attribute.(Identifier, Class, Domain) -> Identifier.(Number, Class, Domain)

Identifier Attribute.(Attribute, Class, Domain) -> Attribute.(Name, Class, Domain)