NICE TO SEE YOU BACK - DTU Informatics

More documents

Recommendations

Info

2. Domain Entities 2.3. Parts2.3.1. Atomic and Composite Parts552.3.1. Atomic and Composite Parts• Parts may be analysed into disjoint sets of– atomic parts and – composite parts.• Atomic parts are those which,– in a given context,– are deemed not to consist ofmeaningful, separately observable proper sub-parts.• Composite parts are those which,– in a given context,– are deemed to indeed consist ofmeaningful, separately observable proper sub-parts.• A sub-part is a part.A Precursor for Requirements Engineering 55 c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33
562. Domain Entities 2.3. Parts2.3.1. Atomic and Composite Parts• It is the domain describer who decides the outcome of this aspectof domain analysis.– In some domain analysis a ‘person’ may be considered an atomicpart.∗ For the domain of ferrying cars with passengers∗ persons are considered parts.– In some other domain analysis a ‘person’ may be considered acomposite part.∗ For the domain of medical surgery∗ persons may be considered composite partsc○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33 56 Domain Science & Engineering
Page 1 and 2: 33NICE TO SEE YOU BACKA Precursor f
Page 5 and 6: 36 2. Domain Entities• When we ob
Page 7 and 8: 382. Domain Entities• Phenomena:
Page 9 and 10: 402. Domain Entities• Domain Onto
Page 11 and 12: 422. Domain Entities 2.1. Entities2
Page 19 and 20: 502. Domain Entities 2.2. Endurants
Page 21 and 22: 522. Domain Entities 2.2. Endurants
Page 23: 542. Domain Entities 2.3. Parts•
Page 27 and 28: 582. Domain Entities 2.3. Parts2.3.
Page 30 and 31: 2. Domain Entities 2.3. Parts2.3.1.
Page 74 and 75:
2. Domain Entities 2.3. Parts2.3.2.
Page 76 and 77:
Page 78 and 79:
Page 80 and 81:
Page 82 and 83:
Page 84 and 85:
Page 86 and 87:
Page 88:
118LONG BREAKc○ Dines Bjørner 20
show all

NICE TO SEE YOU BACK - DTU Informatics

Create successful ePaper yourself

Delete template?

Save as template?