NICE TO SEE YOU BACK - DTU Informatics

More documents

Recommendations

Info

2. Domain Entities 2.2. Endurants2.2.1. General512.2.1. General• By an endurant (also known as a continuant or a substance) weshall understand an entity– that can be observed, i.e., perceived or conceived,– as a complete concept,– at no matter which given snapshot of time.• Were we to freeze time– we would still be able to observe the entire endurant.2.2.2. Discrete and Continuous Endurants• We distinguish between– discrete endurants, which we shall call parts, and– continuous endurants, which we shall call materials.A Precursor for Requirements Engineering 51 c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33
522. Domain Entities 2.2. Endurants2.2.2. Discrete and Continuous EndurantsWe motivate and characterise this distinction.• By a discrete endurant , that is, a part, we shall understandsomething which is– separate or distinct in form or concept,– consisting of distinct or separate parts.• By a continuous endurant , that is, a material, we shall understandsomething which is– prolonged without interruption,– in an unbroken series or pattern.• We shall– first treat the idea of discrete endurant, that is, a part(Slides 53–118),– then the idea of continuous endurant, that is, a material(Slides 120–142).c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33 52 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: 502. Domain Entities 2.2. Endurants
Page 23 and 24: 542. Domain Entities 2.3. Parts•
Page 25 and 26: 562. Domain Entities 2.3. Parts2.3.
Page 27 and 28: 582. Domain Entities 2.3. Parts2.3.
Page 30 and 31: 2. Domain Entities 2.3. Parts2.3.1.
Page 70 and 71:
2. Domain Entities 2.3. Parts2.3.2.
Page 72 and 73:
Page 74 and 75:
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?