NICE TO SEE YOU BACK - DTU Informatics

1022. Domain Entities 2.3. Parts2.3.2. Properties2.3.2.3. Attributes2.3.2.3 Attributes• By an attribute of a part, p:P, we shall understand– some observable property, some phenomenon,– that is not a sub-part of p– but which characterises p– such that all parts of type P have that attribute and– such that “removing” that attribute from p(if such was possible)“renders” the type of p undefined.• We ascribe types to attributes — not, therefore, to be confusedwith types of (their) parts.c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33 102 Domain Science & Engineering