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 Parts2.3.1.1. An Essay on Abstraction61• And then that, “lifted” transport domain– was not modelled as a graph,– as one might conventionally expect it,– but, as we shall see more of,– as a set of hubs and a set of links– related by a mereology !• I shall not here attempt to give general guide lines– for abstraction,– for where “to start looking”,– etcetera,A Precursor for Requirements Engineering 61 c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33
622. Domain Entities 2.3. Parts2.3.1. Atomic and Composite Parts2.3.1.1. An Essay on Abstraction• Instead we shall– advice the listener to∗ study existing domain descriptions and∗ otherwise, individually, or as a team of domain describers∗ experiment with abstraction levels and “starting points”.• As for abstraction level– you may think the one chosen for transport nets– to be too abstract — too many properties left out !– Well, as we shall soon see,∗ when introducing properties of parts,∗ these can, in most cases,cover the levels of details that you may be looking for.c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33 62 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 and 26: 562. Domain Entities 2.3. Parts2.3.
- Page 27 and 28: 582. Domain Entities 2.3. Parts2.3.
- 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.
- Page 76 and 77: 2. Domain Entities 2.3. Parts2.3.2.
- Page 78 and 79: 2. Domain Entities 2.3. Parts2.3.3.
2. Domain Entities 2.3. Parts2.3.1. Atomic and Composite Parts2.3.1.1. An Essay on Abstraction61• And then that, “lifted” transport domain– was not modelled as a graph,– as one might conventionally expect it,– but, as we shall see more of,– as a set of hubs and a set of links– related by a mereology !• I shall not here attempt to give general guide lines– for abstraction,– for where “to start looking”,– etcetera,A Precursor for Requirements Engineering 61 c○ Dines Bjørner 2012, <strong>DTU</strong> <strong>Informatics</strong>, Techn.Univ.of Denmark – July 20, 2012: 12:33