Class Model Descriptions - woven-planet/opensafety-mbse GitHub Wiki

For each modeled class we write a description to establish our basis of abstraction. This can include things like:

Why is this class important? What are real world examples that fit our definition? What examples are excluded by our definition?

Identifier

An identifier is a set consisting of at least one attribute with the following property: If you supply a value for each component attribute you are guaranteed to find either one or zero instance in the class's current instance population. For example...

This is always true if you just supply a value for every single attribute, but we typically are interested in irreducible identifiers. This is an identifier containing the minimum number of attributes necessary to locate an instance uniquely. For an such an identifier, you cannot remove any component without

Attributes

Here we describe only those attributes on a class that are non-referential. We often call these native attributes.