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.1. Atomic and Composite Parts57Example: 5 Container Lines.• We shall presently consider containers (as used in container lineshipping) to be atomic parts.• And we shall consider a container vessel to be a composite partconsisting of– an indexed set of container bays– where each container bay consists of indexed set of container rows– where each container row consists of indexed set of containerstacks– where each container stack consists of a linearly indexed sequenceof containers.• Thus container vessels, container bays, container rows andcontainer stacks are composite parts.A Precursor for Requirements Engineering 57 c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33
582. Domain Entities 2.3. Parts2.3.1. Atomic and Composite Parts2.3.1.1. An Essay on Abstraction2.3.1.1 An Essay on Abstraction• Example 3 (Slide 14) abstracted– the description of a transport domain by focusing on terms∗ nets, ∗ hubs and ∗ links.– What kind of transport domain is that ? Is it for∗ road, ∗ rail, ∗ air, or ∗ shiptransport ?c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33 58 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 13 and 14: 442. Domain Entities 2.1. Entities2
- Page 15 and 16: 462. Domain Entities 2.1. Entities2
- Page 17 and 18: 482. 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 and 24: 542. Domain Entities 2.3. Parts•
- Page 25: 562. Domain Entities 2.3. Parts2.3.
- Page 30 and 31: 2. Domain Entities 2.3. Parts2.3.1.
- Page 32 and 33: 2. Domain Entities 2.3. Parts2.3.1.
- 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.
582. Domain Entities 2.3. Parts2.3.1. Atomic and Composite Parts2.3.1.1. An Essay on Abstraction2.3.1.1 An Essay on Abstraction• Example 3 (Slide 14) abstracted– the description of a transport domain by focusing on terms∗ nets, ∗ hubs and ∗ links.– What kind of transport domain is that ? Is it for∗ road, ∗ rail, ∗ air, or ∗ shiptransport ?c○ Dines Bjørner 2012, <strong>DTU</strong> <strong>Informatics</strong>, Techn.Univ.of Denmark – July 20, 2012: 12:33 58 Domain Science & Engineering