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 Endurants117Discrete Endurant Modelling II/II• Next the unique identifier and themereology of the part type (e.g., P) must be dealt with:– type name (e.g., PI) for and, hence, unique identifier observer name(uid PI) of unique identifiers and the– part mereology types and mereology observer name (mereo P).• Finally the designer must decide on thepart type attributes for parts p:P:– for each such a suitable attribute type name,for example, A i for suitable i,– a corresponding attribute observer signature, attr A i :P→A i ,– and whether an attribute is considered static or dynamic.A Precursor for Requirements Engineering 117 c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33
118End of Lecture 1: Last Session — Endurant EntitiesPartsFM 2012 Tutorial, Dines Bjørner, Paris, 28 August 2012c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33 118 Domain Science & Engineering
- 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 84 and 85: 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 Endurants117Discrete Endurant Modelling II/II• Next the unique identifier and themereology of the part type (e.g., P) must be dealt with:– type name (e.g., PI) for and, hence, unique identifier observer name(uid PI) of unique identifiers and the– part mereology types and mereology observer name (mereo P).• Finally the designer must decide on thepart type attributes for parts p:P:– for each such a suitable attribute type name,for example, A i for suitable i,– a corresponding attribute observer signature, attr A i :P→A i ,– and whether an attribute is considered static or dynamic.A Precursor for Requirements Engineering 117 c○ Dines Bjørner 2012, <strong>DTU</strong> <strong>Informatics</strong>, Techn.Univ.of Denmark – July 20, 2012: 12:33