NICE TO SEE YOU BACK - DTU Informatics

More documents

Recommendations

Info

2. Domain Entities 2.3. Parts2.3.3. Shared Attributes and Properties2.3.3.3. Shared Properties:113• We say that two parts,2.3.3.3 Shared Properties:– of no matter what part type,– share a property,– if either of the following is the case:∗ (i) either the corresponding part types (and hence the parts)have shared attributes;∗ (ii) or the unique identifier type of one of the partspotentially is in the mereology type of the other part;∗ (iii) or both.– We do not present the corresponding invariants over parts withshared properties.A Precursor for Requirements Engineering 113 c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33
1142. Domain Entities 2.3. Parts2.3.4. Summary of Discrete Endurants2.3.4. Summary of Discrete Endurants• We have introduced the endurant notions of atomic parts andcomposite parts:– part types,– part observers (obs ),∗ sort observers, and∗ concrete type observers;– part properties:∗ unique identifiers:· unique part identifierobservers (uid ),· unique part identifiertypes,∗ mereology:· part mereologies,· part mereology observers(mereo );and∗ attributes:· attribute observers (attr )and· attribute types.c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33 114 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:
Page 15 and 16:
Page 17 and 18:
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 30 and 31:
2. Domain Entities 2.3. Parts2.3.1.
Page 32 and 33: 2. Domain Entities 2.3. Parts2.3.1.
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?