R1003 - modelint/shlaer-mellor-metamodel GitHub Wiki

R1003 / M:Mc-1

Read Action reads value of one or many Attribute

Attribute has value read by zero, one or many Read Action

---

Multiple Attributes of the same Class instance can be accessed by a single Read Action and at least one Attribute must be specified.

A given Attribute may be accessed by any number of Read Actions or not at all. Though an Attribute that is never read won't hav any utility in any given implementation of a model.