NICE TO SEE YOU BACK - DTU Informatics

2. Domain Entities 2.3. Parts2.3.3. Shared Attributes and Properties2.3.3.3. Shared Properties:113• We say that two parts,2.3.3.3 Shared Properties:– of no matter what part type,– share a property,– if either of the following is the case:∗ (i) either the corresponding part types (and hence the parts)have shared attributes;∗ (ii) or the unique identifier type of one of the partspotentially is in the mereology type of the other part;∗ (iii) or both.– We do not present the corresponding invariants over parts withshared properties.A Precursor for Requirements Engineering 113 c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33