NICE TO SEE YOU BACK - DTU Informatics
NICE TO SEE YOU BACK - DTU Informatics NICE TO SEE YOU BACK - DTU Informatics
2. Domain Entities 2.3. Parts2.3.4. Summary of Discrete Endurants115• The unique identifier property cannot necessarily be observed:– it is an abstract concept and– can be objectively “assigned”.That is: unique identifiers are not required to be manifest.• The mereology property also cannot usually be observed:– it is also an abstract concept,– but can be deduced from careful analysis.That is: mereology is not required to be manifest.• The attributes can be observed:– usually by simple physical measurements,– or by deduction from (conceptual) facts,That is: attributes are usually only “indirectly” manifest.A Precursor for Requirements Engineering 115 c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33
1162. Domain Entities 2.3. Parts2.3.4. Summary of Discrete EndurantsDiscrete Endurant Modelling I/IIFaced with a phenomenon the domain analyser has to decide• whether that phenomenon is an entity or not, that is, whether– an endurant or– a perdurant or– neither.• If endurant and if discrete, then whether it is– an atomic part or– a composite part.• Then the domain analyser must decide on its type,– whether an abstract type (a sort)– or a concrete type, and, if so, which concrete form.c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33 116 Domain Science & Engineering
- Page 34 and 35: 2. Domain Entities 2.3. Parts2.3.1.
- Page 36 and 37: 2. Domain Entities 2.3. Parts2.3.1.
- Page 38 and 39: 2. Domain Entities 2.3. Parts2.3.1.
- Page 40 and 41: 2. Domain Entities 2.3. Parts2.3.1.
- Page 42 and 43: 2. Domain Entities 2.3. Parts2.3.1.
- Page 44 and 45: 2. Domain Entities 2.3. Parts2.3.1.
- Page 46 and 47: 2. Domain Entities 2.3. Parts2.3.1.
- Page 48 and 49: 2. Domain Entities 2.3. Parts2.3.2.
- Page 50 and 51: 2. Domain Entities 2.3. Parts2.3.2.
- Page 52 and 53: 2. Domain Entities 2.3. Parts2.3.2.
- Page 54 and 55: 2. Domain Entities 2.3. Parts2.3.2.
- Page 56 and 57: 2. Domain Entities 2.3. Parts2.3.2.
- Page 58 and 59: 2. Domain Entities 2.3. Parts2.3.2.
- Page 60 and 61: 2. Domain Entities 2.3. Parts2.3.2.
- Page 62 and 63: 2. Domain Entities 2.3. Parts2.3.2.
- Page 64 and 65: 2. Domain Entities 2.3. Parts2.3.2.
- Page 66 and 67: 2. Domain Entities 2.3. Parts2.3.2.
- Page 68 and 69: 2. Domain Entities 2.3. Parts2.3.2.
- Page 70 and 71: 2. Domain Entities 2.3. Parts2.3.2.
- Page 72 and 73: 2. Domain Entities 2.3. Parts2.3.2.
- Page 74 and 75: 2. Domain Entities 2.3. Parts2.3.2.
- Page 76 and 77: 2. Domain Entities 2.3. Parts2.3.2.
- Page 78 and 79: 2. Domain Entities 2.3. Parts2.3.3.
- Page 80 and 81: 2. Domain Entities 2.3. Parts2.3.3.
- Page 82 and 83: 2. Domain Entities 2.3. Parts2.3.3.
- Page 86 and 87: 2. Domain Entities 2.3. Parts2.3.4.
- Page 88: 118LONG BREAKc○ Dines Bjørner 20
2. Domain Entities 2.3. Parts2.3.4. Summary of Discrete Endurants115• The unique identifier property cannot necessarily be observed:– it is an abstract concept and– can be objectively “assigned”.That is: unique identifiers are not required to be manifest.• The mereology property also cannot usually be observed:– it is also an abstract concept,– but can be deduced from careful analysis.That is: mereology is not required to be manifest.• The attributes can be observed:– usually by simple physical measurements,– or by deduction from (conceptual) facts,That is: attributes are usually only “indirectly” manifest.A Precursor for Requirements Engineering 115 c○ Dines Bjørner 2012, <strong>DTU</strong> <strong>Informatics</strong>, Techn.Univ.of Denmark – July 20, 2012: 12:33